Sciweavers

Share
VLSID
2002
IEEE

Identifying Redundant Wire Replacements for Synthesis and Verification

10 years 11 months ago
Identifying Redundant Wire Replacements for Synthesis and Verification
We propose the redundancy identification of wire replacement faults. The solutions rely on the satisfiability (SAT) formulation of redundancy identification, augmented with the means to effectively use any single stuck-at-value redundancy identification in the approximate schemes. In the latter, we employ the novel use of don't care approximations that detect many redundant faults and quickly identify those that can be detected by stuck-at value identifications. A test generation scheme that uses the error-correcting properties of Arithmetic Transform is incorporated into the overall verification procedure. The test set provides high fault coverage.
Katarzyna Radecka, Zeljko Zilic
Added 01 Dec 2009
Updated 01 Dec 2009
Type Conference
Year 2002
Where VLSID
Authors Katarzyna Radecka, Zeljko Zilic
Comments (0)
books