2 search results - page 1 / 1 » Combining Multi-Valued Logics in SAT-based ATPG for Path Del... |
MEMOCODE
2007
IEEE
13 years 10 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
ICCAD
1999
IEEE
13 years 8 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...