Introduction to algorithms
Coherence and satisfiability of waveform timing specifications
Coherence and satisfiability of waveform timing specifications
Interface timing verification with application to synthesis
DAC '94 Proceedings of the 31st annual Design Automation Conference
Min-max linear programming and the timing analysis of digital circuits
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Algorithms for Interface Timing Verification
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
A timing-driven design and validation methodology for embedded real-time systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Synthesis and Optimization of Combinational Interface Circuits
Journal of VLSI Signal Processing Systems
A Validation Fault Model for Timing-Induced Functional Errors
ITC '01 Proceedings of the 2001 IEEE International Test Conference
An optimal power algorithm for interface design of System-on-Chip
CSS '07 Proceedings of the Fifth IASTED International Conference on Circuits, Signals and Systems
| Hi-index | 0.00 |