A high-level approach to test generation
- 1 July 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Circuits and Systems I: Regular Papers
- Vol. 40 (7) , 483-492
- https://doi.org/10.1109/81.257304
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- DYTEST: a self-learning algorithm using dynamic testability measures to accelerate test generationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1990
- SOCRATES: a highly efficient automatic test pattern generation systemIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
- A functional testing method for microprocessorsIEEE Transactions on Computers, 1988
- Functional Testing of MicroprocessorsIEEE Transactions on Computers, 1984
- Taking into Account Asynchronous Signals in Functional Test of Complex CircuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- Test Generation Algorithms for Computer Hardware Description LanguagesIEEE Transactions on Computers, 1982
- Test Generation for MicroprocessorsIEEE Transactions on Computers, 1980
- Functional Level Primitives in Test GenerationIEEE Transactions on Computers, 1980
- A Nine-Valued Circuit Model for Test GenerationIEEE Transactions on Computers, 1976
- Polynomially Complete Fault Detection ProblemsIEEE Transactions on Computers, 1975