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 MoreMetadata
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