How an "evolving" fault model improves the behavioral test generation
- 1 January 1997
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 124-129
- https://doi.org/10.1109/glsv.1997.580515
Abstract
By considering test costs at the behavioral level, test problems can be pointed out during the first phases of the design flow. Thus, in case either some testability problems are identified or the size (and hence the cost) of the test set results to be too high, the designer or the high level synthesis tool can modify the circuit to reduce such testability problems. The main problem is the correspondence between the behavioral and RT or gate level fault models. To overcome such limitation, the paper presents a design flow based on the behavioral fault model modification ("evolution") depending on the actual RTL implementation.Keywords
This publication has 12 references indexed in Scilit:
- Behavioral test generation using mixed integer nonlinear programmingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A fault oriented partial scan design approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- High-level test generation using symbolic schedulingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Sequential logic minimization based on functional testabilityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- High-level test generation using physically-induced faultsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Sequential test generation and synthesis for testability at the register-transfer and logic levelsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
- Classification of faults in synchronous sequential circuitsIEEE Transactions on Computers, 1993
- High — Level SynthesisPublished by Springer Nature ,1992
- On behavior fault modeling for digital designsJournal of Electronic Testing, 1991
- The S-Algorithm: A Promising Solution for Systematic Functional Test GenerationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1985