From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Mon Oct 11 2004 - 17:30:30 MDT
>>>>> "RM" == R Manitra <rmanitra_at_ac.upc.es> writes:
RM> First of all, thank you very much for all of your responses.
RM> I tried the command init_verify before read_blif and it worked fine. Now
RM> I can read the iscas files that I tried yesterday.
RM> However, when I tried to read s35932.blif I got the following error
RM> Error: Variable CRC_OUT_1_0 is not defined as an output of a table in
RM> model $$/DATA/s35932$bench.
RM> I use vis release 2.0 and my OS is Linux redhat 9.
RM> Again, thanks.
Thanks for sending your blif file for s35932. The message you got is
due to the fact that none of the CRC_OUT_*_* outputs declared in the
file header are actually driven by any gate. Vis won't let you have
floating outputs: Each signal must be driven unless it is declared as
Once those output declarations are removed, I have no problems reading
the file and flattening the network, with either the 2.0 release or
the current development version.
Since we have established that there are different versions of the
blif files for the iscas benchmarks out there, we can next try one of
1. Can you remove the CRC_OUT_*_* outputs from your s35932.blif and
see if you can read it without init_verify?
2. Can you send me a small model where you can get rl to work only if
it is preceeded by init_verify?
This archive was generated by hypermail 2.1.7 : Mon Oct 11 2004 - 17:34:18 MDT