Title :
Choice of tests for logic verification and equivalence checking and the use of fault simulation
Author :
Agrawal, Vishwani D.
Author_Institution :
Bell Lab., Lucent Technol., Murray Hill, NJ, USA
Abstract :
A new method is proposed for checking the equivalence of two irredundant logic implementations of a combinational Boolean function. The procedure consists of generation of complete checkpoint fault test sets for both circuits. The two test sets are concatenated and both circuits are simulated to obtain the response to the combined test set. If the responses of the two circuits match for all vectors, then they are declared to be equivalent. We examine a case where this heuristic fails. In such cases, the use of fault simulation is shown to discover non-equivalence even when the two circuits produce the same output. We prove that if the two circuits were different, then some faults on the primary inputs of a composite equivalence checking circuit must be detectable. Using the simulation of single stuck-at faults at the primary inputs of that circuit, the new heuristic recommends the use of a vector set in which the Hamming distance between any two vectors does not exceed 3
Keywords :
Boolean functions; combinational circuits; fault simulation; logic simulation; logic testing; Hamming distance; combinational Boolean function; complete checkpoint fault test sets; composite equivalence checking; concatenated test sets; equivalence checking; fault simulation; irredundant logic implementations; logic verification; single stuck-at faults; vector set; Boolean functions; Circuit faults; Circuit simulation; Circuit testing; Combinational circuits; Concatenated codes; Electrical fault detection; Fault detection; Logic testing; Mathematical model;
Conference_Titel :
VLSI Design, 2000. Thirteenth International Conference on
Conference_Location :
Calcutta
Print_ISBN :
0-7695-0487-6
DOI :
10.1109/ICVD.2000.812626