Consistency and satisfiability of waveform timing specifications
- 1 January 1991
- Vol. 21 (1), 91-107
- https://doi.org/10.1002/net.3230210107
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- VLSI Circuit Analysis, Timing Verification and OptimizationPublished by Springer Nature ,1987
- Clocking Schemes for High-Speed Digital SystemsIEEE Transactions on Computers, 1986
- Data Structures and Network AlgorithmsPublished by Society for Industrial & Applied Mathematics (SIAM) ,1983
- Timing Verification and the Timing Analysis ProgramPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982