Provably correct critical paths
Proceedings of the decennial Caltech conference on VLSI on Advanced research in VLSI
IEEE Transactions on Computers
Placement for clock period minimization with multiple wave propagation
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Certified timing verification and the transition delay of a logic circuit
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Asynchronous Sequential Switching Circuit
Asynchronous Sequential Switching Circuit
Circuit delay models and their exact computation using Timed Boolean Functions
DAC '93 Proceedings of the 30th international Design Automation Conference
Timing uncertainty analysis for time-of-flight systems
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Rephasing: a transformation technique for the manipulation of timing constraints
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Wave pipelining using self reset logic
VLSI Design
Wave-pipelining: a tutorial and research survey
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
| Hi-index | 0.00 |