POIROT: a logic fault diagnosis tool and its applications.

Srikanth Venkataraman, Scott Brady Drummonds

Browse the full ITC paper archive.