Logic design verification via test generation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems1988Vol. 7(1), pp. 138–148
Citations Over Time
Abstract
A method for logic design verification is introduced in which a gate-level implementation of a circuit is compared with a functional-level specification. In this method, test patterns that were developed to detect single stuck-line faults in the gate-level implementation are used instead to compare the gate-level implementation with the functional-level specification. In the presence of certain hypothesized design errors, such a test set will produce responses in the implementation that disagree with the responses in the specification. It is shown that the class of design errors that can be detected in this way is very large.>
Related Papers
- → JastAdd—an aspect-oriented compiler construction system(2002)169 cited
- → Modular language implementation in Rascal – experience report(2015)31 cited
- → Prolog - the language and its implementation compared with Lisp(1977)241 cited
- → On objects and events(2001)10 cited
- → Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation(2011)9 cited