[comp.lsi.cad] Test Generation Benchmarks

ted@twolf1.CE.YALE.EDU (Ted Stanion) (03/05/91)

Does anyone out there have a list of the redundant faults for circuit
c432 in the ISCAS '85 benchmarks?  We have two ATPG programs here that
disagree on the redundant faults.  They do agree on all of the other
circuits in the benchmark circuit.  We would like to know which
program is wrong so that we can debug it.

Thank You,
Ted Stanion	ted@twolf.ce.yale.edu