Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults.

Stephan Eggersgl, Grschwin Fey, Rolf Drechsler, Andreas Glowatz, Friedrich Hapke, Jrgen Schlffel

Browse the full MEMOCODE paper archive.