Testability of circuits derived from functional decision diagrams | IEEE Conference Publication | IEEE Xplore

Testability of circuits derived from functional decision diagrams


Abstract:

We investigate the testability properties of Boolean networks derived from a special class of multi-level AND/EXOR expressions, called ordered functional decision diagram...Show More

Abstract:

We investigate the testability properties of Boolean networks derived from a special class of multi-level AND/EXOR expressions, called ordered functional decision diagrams (OFDDs). We consider the stuck-at fault model (SAFM) and the cellular fault model (CFM). All occurring redundancies are classified. The resulting circuits are highly testable with nearly 100% fault coverage on average.<>
Date of Conference: 28 February 1994 - 03 March 1994
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-5410-4
Conference Location: Paris, France

Contact IEEE to Subscribe

References

References is not available for this document.