reid@cpswh.cps.msu.edu (Dr Richard J. Reid) (02/06/91)
I have the impression that the: "Neutral Netlist of 10 Combinational Benchmark Circuits" distributed by MCNC have been used in validation in addition to fault generation. If this is true, what (or where) is the other half of the equivalence to be validated? It would seem that we need a circuit on the one hand, and a formal logical description or perhaps another circuit on the other hand to attempt the validation. Can you straighten me out on this, please? Thanks, Dick (reid@cps.msu.edu)