[comp.arch] ISCAS '85 Benchmark Circuits

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)