Automatic verification of timed circuits

This publication has 12 references indexed in Scilit:

• An implementation of three algorithms for timing verification based on automata emptiness
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Synthesis of timed asynchronous circuits
  IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1993
• Delay analysis in synchronous programs
  Published by Springer Nature ,1993
• Efficient verification of parallel real-time systems
  Published by Springer Nature ,1993
• Semi-modularity and testability of speed-independent circuits
  Integration, 1992
• What good are digital clocks?
  Published by Springer Nature ,1992
• Modeling and verification of time dependent systems using time Petri nets
  IEEE Transactions on Software Engineering, 1991
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989
• Trace Theory and the Definition of Hierarchical Components
  Published by Springer Nature ,1983