Combined Inference and Satisfiability Based Methods for Complete Signal Restoration in Post-Silicon Validation.

Xiaobang Liu, Ranga Vemuri

Browse the full VLSID paper archive.