Title :
A synthesis approach to design for testability
Author :
Kanjilal, Suman ; Chakradhar, Srimat T. ; Agrawal, Vishwani D.
Author_Institution :
Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
Abstract :
We present a new area-efficient procedure for embedding test function into the gate-level implementation of a sequential circuit. We use partition theory and a state variable dependency minimization criterion to map the test function states onto the states of the given circuit. The test generation complexity for our implementation is the same as that for a full scan design. To apply the method to large gate-level designs, we partition the circuit into interconnected finite-state machines. We incorporate test functions into each component machine such that the augmented interconnected machine has the same testability properties as the product machine with test function. Several ISCAS 89 benchmark circuits are partitioned into component finite state machines using a testability-directed partitioned into component finite state machines using a testability-directed partitioning algorithm. Our embedding procedure results in testable circuits that have smaller area than the corresponding full scan designs
Keywords :
design for testability; finite state machines; logic CAD; logic design; logic testing; minimisation; real-time systems; sequential circuits; ISCAS 89 benchmark circuits; area-efficient procedure; augmented interconnected machine; component finite state machines; design for testability; gate-level designs; gate-level implementation; interconnected finite-state machines; partition theory; sequential circuit; state variable dependency minimization criterion; test function; test function states; test functions; testability-directed partitioning algorithm; Automata; Benchmark testing; Circuit synthesis; Circuit testing; Design for testability; Integrated circuit interconnections; Minimization; Partitioning algorithms; Sequential analysis; Sequential circuits;
Conference_Titel :
Test Conference, 1993. Proceedings., International
Conference_Location :
Baltimore, MD
Print_ISBN :
0-7803-1430-1
DOI :
10.1109/TEST.1993.470627