Test Generation for Asynchronous Sequential Digital Circuits
نویسنده
چکیده
The dissertation thesis is aimed at test generation for asynchronous sequential digital circuits, contributes to their timeand cost-effective testing, and indirectly supports their wider application, which improves the performance, the power consumption and the electromagnetic emission of future digital circuits. The main scientific contribution is design of the new test generator (optimized for test length and area overhead) for wide spectrum of asynchronous sequential digital circuits. The contributions are identification of unacceptable signal transitions before test generation, reduced number of generated test patterns for combinational representation, effective state justification on the gate level, fast (optimized for test length) sequential fault propagation to outputs and effective fault simulation. Experimental results confirmed the generation of optimal tests with good fault coverage and without application of any method for increasing the testability. The developed methods can be used with wider spectrum of circuits than other recently developed test generators, and at the same time their effectiveness ensures fast test generation.
منابع مشابه
Studies on Design for Delay Testability and Delay Test Generation for Sequential Circuits
VLSI (Very Large Scale Integration) circuits are basic components of today’s complex digital systems. In order to realize dependable digital systems, VLSI circuits should be highly reliable. VLSI testing plays an important role in satisfying this requirement. VLSI testing is to check whether faults exist in a circuit, and it consists of two main phases: test generation and test application. In ...
متن کاملSimulation Based Test Generation for Crosstalk Delay Faults in Asynchronous Sequential Circuits
A number of efforts have been recently devoted to fault modeling, fault simulation and test generation for asynchronous circuits (Shi and Makris 2004). Simulation based approach for testing gate delay faults in asynchronous sequential circuits was proposed by Sur-Kolay et al (2000). Shi and Makris (2006) have proposed a test method for path delay faults based on a design for test strategy. In s...
متن کاملIssn 2348-375x Genetic Algorithm Based Test Pattern Generation for Asynchronous Circuits with Handshake Controllers
This paper is aimed at generation of automated test pattern for asynchronous circuits based on genetic algorithm. Asynchronous circuits without global clocks are hard to test due to the lack of testing techniques. The testing of asynchronous design involves basic element like C-element, completion detector in handshake controller and logic design. The main contribution is to generate optimized ...
متن کاملDeterministic Built-in Pattern Generation for Sequential Circuits
We present a new pattern generation approach for deterministic built-in self testing (BIST) of sequential circuits. Our approach is based on precomputed test sequences, and is especially suited to sequential circuits that contain a large number of flip-flops but relatively few controllable primary inputs. Such circuits, often encountered as embedded cores and as filters for digital signal proce...
متن کاملFormally-Based Design Evaluation
This paper investigates specification, verification and test generation for synchronous and asynchronous circuits. The approach is called DILL (Digital Logic in LOTOS). DILL models are discussed for synchronous and asynchronous circuits. Relations for (strong) conformance are defined for verifying a design specification against a high-level specification. An algorithm is also outlined for gener...
متن کامل