Solving the path sensitization problem in linear time

This publication has 5 references indexed in Scilit:

• SLOCOP-II: a versatile timing verification system for MOSVLSI
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Static timing analysis of dynamically sensitizable paths
  Published by Association for Computing Machinery (ACM) ,1989
• Efficient algorithms for computing the longest viable path in a combinational network
  Published by Association for Computing Machinery (ACM) ,1989
• A novel approach to accurate timing verification using RTL descriptions
  Published by Association for Computing Machinery (ACM) ,1989
• Diagnosis of Automata Failures: A Calculus and a Method
  IBM Journal of Research and Development, 1966