|
1. |
A unified framework for generating all propagation functions for logic errors and events
Michael, M.K.; Haniotakis, T.; Tragoudas, S.;
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
Volume 23,
Issue 6,
June 2004
Page(s):980
-
986
Abstract:
We present a generic framework that supports efficient generation of the traditional Boolean difference function of some output with respect to any line in a combinational circuit, which is important when testing for logic defects. The framework also allows for the generation of generalized Boolean difference functions, which reflect sensitivity on event propagation from a given line to some circuit output. This generalized function could apply in timing verification, analysis, and test. We implemented the proposed framework using various function representation environments, including binary decision diagrams, Boolean expression diagrams, and Boolean networks, and report experimental results on the ISCAS'85 and ISCAS'89 benchmarks.
|
Cart
