Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!yale!cs.yale.edu!twolf1.CE.YALE.EDU!ted
From: ted@twolf1.CE.YALE.EDU (Ted Stanion)
Newsgroups: comp.lsi.cad
Subject: Test Generation Benchmarks
Message-ID: <29215@cs.yale.edu>
Date: 4 Mar 91 19:15:55 GMT
Sender: news@cs.yale.edu
Reply-To: ted@twolf.ce.yale.edu
Organization: Yale Dept. of Electrical Engineering
Lines: 8
Nntp-Posting-Host: ee2-gw.ce.yale.edu

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