共 50 条
- [21] Separate Compilation and Execution of Imperative Synchronous Modules [J]. DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1580 - +
- [22] Timing closure through a globally synchronous, timing partitioned design methodology [J]. 41ST DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2004, 2004, : 71 - 74
- [23] Verified Timing Transformations in Synchronous Circuits with λπ-Ware [J]. INTERACTIVE THEOREM PROVING, ITP 2018, 2018, 10895 : 504 - 521
- [25] A SYNCHRONOUS SLAVE DEVICE FOR TIMING RANDOM EVENTS [J]. JOURNAL OF SCIENTIFIC INSTRUMENTS, 1965, 42 (06): : 443 - &
- [29] Processing and transmission of timing signals in synchronous networks [J]. COMPUTATIONAL & APPLIED MATHEMATICS, 2005, 24 (01): : 27 - 49
- [30] TIMING RECOVERY FOR SYNCHRONOUS BINARY DATA TRANSMISSION [J]. BELL SYSTEM TECHNICAL JOURNAL, 1967, 46 (03): : 593 - +