The KARL/KARATE system-automatic test pattern generation based on RT level descriptions
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 230-235
- https://doi.org/10.1109/test.1988.207807
Abstract
KARATE generates and describes tests symbolically, which is a new concept and much more efficient than a vectorized representation. KARATE integrates this concept for efficient, multi-level pattern generation into an open software system.Keywords
This publication has 6 references indexed in Scilit:
- ON THE ACCELERATION OF TEST GENERATION ALGORlTHMSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Expert system for the functional test program generation of digital electronic circuit boardsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- PODEM-X: An Automatic Test Generation System for VLSI Logic StructuresPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Test Generation for MicroprocessorsIEEE Transactions on Computers, 1980
- Easily Testable Iterative SystemsIEEE Transactions on Computers, 1973
- Diagnosis of Automata Failures: A Calculus and a MethodIBM Journal of Research and Development, 1966