Title :
Automatic test vector cultivation for sequential VLSI circuits using genetic algorithms
Author :
Saab, Daniel G. ; Saab, Youssef G. ; Abraham, Jacob A.
Author_Institution :
Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
fDate :
10/1/1996 12:00:00 AM
Abstract :
This paper discusses a new approach for generating test vectors, using test cultivation, for both combinational and sequential VLSI circuits described hierarchically at the transistor, gate, and higher levels. The approach is based on continuous mutation of a given input sequence and on analyzing the mutated vectors for selecting the test set. The hierarchical technique used in the analysis drastically reduces the memory requirements, allowing test generation for large circuits. The test cultivation algorithms are simulation-based and a test set can be cultivated for any circuit that can be simulated logically. In particular, general MOS digital designs can be handled, and both stuck-at and transistor faults can be accurately modeled. Using the approach, tests were generated with very high fault coverage for gate-level circuits as well as for transistor level circuits
Keywords :
MOS logic circuits; VLSI; automatic testing; genetic algorithms; integrated circuit testing; logic testing; sequential circuits; MOS digital design; VLSI; automatic test vector cultivation; combinational circuit; gate-level circuit; genetic algorithm; hierarchical technique; logic simulation; sequential circuit; stuck-at faults; transistor faults; transistor level circuit; Automatic testing; Circuit faults; Circuit simulation; Circuit testing; Design automation; Genetic algorithms; Logic testing; Sequential analysis; Sequential circuits; Very large scale integration;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on