An observability-based code coverage metric for functional simulation

This publication has 10 references indexed in Scilit:

• I'm done simulating; now what? Verification coverage analysis and correctness checking of the DECchip 21164 Alpha microprocessor
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Modelling and simulation of design errors
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Transition fault testing for sequential circuits
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
• An algorithmic procedure for checking safety properties of protocols
  IEEE Transactions on Communications, 1989
• Research on Automatic Verification of Finite-State Concurrent Systems
  Annual Review of Computer Science, 1987
• Functional Testing of Microprocessors
  IEEE Transactions on Computers, 1984
• Test Generation for Microprocessors
  IEEE Transactions on Computers, 1980
• Error Sensitive Test Cases Analysis (ESTCA)
  IEEE Transactions on Software Engineering, 1980
• Reliability of the Path Analysis Testing Strategy
  IEEE Transactions on Software Engineering, 1976
• Diagnosis of Automata Failures: A Calculus and a Method
  IBM Journal of Research and Development, 1966