Error Diagnosis for Transistor-Level Verification.

Andreas Kuehlmann, David Ihsin Cheng, Arvind Srinivasan, David P. LaPotin

Browse the full DAC paper archive.