5,243,538, “Comparison and Verification System for Logic Circuits and Method Thereof,” Issued (1993)

by U S Patent