CATAPULT: concurrent automatic testing allowing parallelization and using limited topology
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- SOCRATES: a highly efficient automatic test pattern generation systemIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
- A topological search algorithm for ATPGPublished by Association for Computing Machinery (ACM) ,1987
- Derivation and Refinement of Fan-Out Constraints to Generate Tests in Combinational Logic CircuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1986
- Checkpoint Faults are not Sufficient Target Faults for Test GenerationIEEE Transactions on Computers, 1986
- An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic CircuitsIEEE Transactions on Computers, 1981
- Diagnosis & Reliable Design of Digital SystemsPublished by Springer Nature ,1976
- Diagnosis of Automata Failures: A Calculus and a MethodIBM Journal of Research and Development, 1966
- On Finding a Nearly Minimal Set of Fault Detection Tests for Combinational Logic NetsIEEE Transactions on Electronic Computers, 1966
- Representation of Switching Circuits by Binary-Decision ProgramsBell System Technical Journal, 1959
- A symbolic analysis of relay and switching circuitsTransactions of the American Institute of Electrical Engineers, 1938