Timing verification using HDTV

This publication has 13 references indexed in Scilit:

• A fast timing verification method based on the independence of units
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Automatic synthesis of asynchronous circuits from high-level specifications
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• Automatic production of controller specifications from control and timing behavioral descriptions
  Published by Association for Computing Machinery (ACM) ,1989
• An expert system to automate timing design
  IEEE Design & Test of Computers, 1988
• A Temporal Logic for Multilevel Reasoning about Hardware
  Computer, 1985
• Maintaining knowledge about temporal intervals
  Communications of the ACM, 1983
• Hardware Specification with Temporal Logic: An Example
  IEEE Transactions on Computers, 1982
• Timing Verification and the Timing Analysis program
  Published by Association for Computing Machinery (ACM) ,1982
• Slide: An I/O Hardware Descriptive Language
  IEEE Transactions on Computers, 1981
• Verification of timing constraints on large digital systems
  Published by Association for Computing Machinery (ACM) ,1980