1. Multiple design error diagnosis and correction in digital VLSI circuits;Veneris,1999
2. Hoffmann DW, Kropf T. Using BDD-based decomposition for automatic error correction in combinatorial circuits. Technical Report, University of Karlsruhe, available at http://goethe.ira.uka.de/∼hoff.
3. ErrorTracer: a fault simulation based approach to design error diagnosis;Huang,1997
4. Incremental logic rectification;Huang,1997
5. Connection errors location and correction in combinational circuits;Wahba,1997