Locating logic design errors via test generation and don't-care propagation
Resource
Design Automation Conference, 1992. EURO-VHDL '92, EURO-DAC '92. European
Journal
Design Automation Conference, 1992. EURO-VHDL '92, EURO-DAC '92. European
Pages
-
Date Issued
1992-09
Date
1992-09
Author(s)
DOI
N/A
Abstract
The author presents a new technique, the don't-care propagation method, for logic verification and design error location in a circuit. Test patterns for single stuck-line faults are used to compare the gate-level implementation of a circuit with its functional-level specification. In the presence of logic design errors, such a test set will produce responses in the implementation that disagree with the responses in the specification. In the verification phase of the design of logic circuits using the top-down approach, it is necessary not only to detect but also to locate the source of any inconsistency that may exist between the specification and the implementation. This technique can determine the region containing the error. It has very high resolution and reduces the debugging time by the designers. Extensive experimental results were obtained to demonstrate the effectiveness of the new approach.>
Type
conference paper
File(s)![Thumbnail Image]()
Loading...
Name
00246202.pdf
Size
369.69 KB
Format
Adobe PDF
Checksum
(MD5):6a493b420391955e1db8addf0cbb9bfe