ISCAS'85 benchmark circuits- collapsed fault list needed

[rupsa]

iscas 85

I need the collapsed fault lists along with the corresponding netlists (preferably verilog files) for all the ISCAS'85 and ISCAS'89 benchmark circuits.

It would be really helpful if anybody could provide me with useful links or send them in the following e-mail id.

Thanks in anticipation,

Rupsa Chakraborty
Research Scholar
Deptt. of CSE, IIT Kgp
rupsac@cse.iitkgp.ernet.in
c.rupsa@gmail.com

 

[tariq786]

iscas 85 benchmark

**broken link removed**

click on project 1

 

[rupsa]

iscas85

Thanks a lot....that was helpful.

But, what i specifically wanted was ... for a particular ISCAS 85 circuit, for instance,
a list containing only the names of the fault sites (wires) (of course only the equivalent faults) and the corresponding structural verilog models of its netlist. I need the verilog models also along with the fault lists so that I can map the names of the fault sites with that of the circuit description.

May be, a collapsed fault list containing only the wire names of fault sites for the verilog files available in :
http://www.pld.ttu.ee/~maksim/benchmarks/iscas85/verilog/

Is there any way I can get them?

thanks,
Rupsa