Aarti Gupta, Pranav Ashar. Fast Error Diagnosis for Combinational Verification. In 13th International Conference on VLSI Design (VLSI Design 2000), 4-7 January 2000, Calcutta, India. pages 442-448, IEEE Computer Society, 2000. [doi]
Abstract is missing.