Consistency and satisfiability of waveform timing specifications

This publication has 4 references indexed in Scilit:

• VLSI Circuit Analysis, Timing Verification and Optimization
  Published by Springer Nature ,1987
• Clocking Schemes for High-Speed Digital Systems
  IEEE Transactions on Computers, 1986
• Data Structures and Network Algorithms
  Published by Society for Industrial & Applied Mathematics (SIAM) ,1983
• Timing Verification and the Timing Analysis Program
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982