ISCAS Benchmarks Circuits in Verilog

Eric McCaughrin

unread,

Feb 10, 1993, 11:30:19 PM2/10/93

to

In article <1993Feb11.0...@ee.ubc.ca> bar...@ee.ubc.ca (Barry Tsuji) writes:
>
>Does anyone know if (and where) I could obtain the ISCAS '85 and '89
>benchmark circuits in Verilog format? I know that the circuits are
>available from a number of ftp sites, but I need the netlists in Verilog
>format. I thought I'd ask around to see if I could avoid writing a
>translator. :-)
>
>I would appreciate any information, via e-mail (bar...@ee.ubc.ca) or
>in the newsgroup, concerning obtaining the benchmarks in Verilog.
>
>.....Barry Tsuji

I've written a translater for converting files in eqntott format
to Verilog. I've used it successfully to convert the
benchmarks C432-C7552. It does not handle sequential stuff.
Send me e-mail if you want the benchmark files or the translater.

--
--
Eric McCaughrin "I can't give you brains, but I can give
mcca...@ic.berkeley.edu you a diploma" -- The Wizard of Oz

Michael Anthony Riepe

unread,

Feb 10, 1993, 10:59:18 PM2/10/93

to

In article <1993Feb11.0...@ee.ubc.ca> bar...@ee.ubc.ca (Barry Tsuji) writes:
>
>Does anyone know if (and where) I could obtain the ISCAS '85 and '89
>benchmark circuits in Verilog format? I know that the circuits are

I have a simple yacc-based translator for the ISCAS-89 circuits. The
ISCAS-85 combinational benchmarks have a slightly different format,
but it would probably be 10 minutes work to change the grammar.

Its in a few pieces right now, but will be stable in a day or two. I'll
send you a copy in a few days.

--mike

Barry Tsuji

unread,

Feb 10, 1993, 7:38:13 PM2/10/93

to

Does anyone know if (and where) I could obtain the ISCAS '85 and '89
benchmark circuits in Verilog format? I know that the circuits are