Re: I cannot read blif file

From: R. Manitra (rmanitra_at_ac.upc.es)
Date: Fri Oct 08 2004 - 06:47:02 MDT


Hello,

First of all, thank you very much for all of your responses.

I tried the command init_verify before read_blif and it worked fine. Now
I can read the iscas files that I tried yesterday.

However, when I tried to read s35932.blif I got the following error
message:
 
Error: Variable CRC_OUT_1_0 is not defined as an output of a table in
model $$/DATA/s35932$bench.

I use vis release 2.0 and my OS is Linux redhat 9.

Again, thanks.
Manitra

On Thu, 2004-10-07 at 18:45, Fabio Somenzi wrote:
> There should be no such size problem. The ISCAS blif files are not
> that large. I just tried s35932.blif and it went through.
>
> As to the init_verfiy _before_ red_blif, you should just get a message
> that says:
>
> The hierarchy manager is empty. Read in design.
>
> Can I ask in what version of vis and on what platform you guys have
> seen this problem?
>
> Thanks
>
>
> Fabio
>
> >>>>> "SR" == Solaiman Rahim <rahim_at_synplicity.com> writes:
>
> SR> This may not be only a size problem. I had the same problem.
> SR> To solve it I'm doing an init_verify before reading the blif
> SR> and it works for all my designs.
>
> SR> Let me know if it works,
> SR> Cheers,
> SR> Solaiman
>
> SR> Graeme Cunningham wrote:
>
> >> your design is to big
> >>
> >> ________________________________
> >>
> >> From: owner-vis-users_at_lists.colorado.edu on behalf of R. Manitra
> >> Sent: Thu 07/10/2004 16:37
> >> To: vis-users_at_colorado.edu
> >> Subject: I cannot read blif file
> >>
> >> Hello,
> >>
> >> I used vis for the first time today, an I tried to read some blif files
> >> from the iscas benchmarks.
> >>
> >> However, each time I ran the "read_blif" command I always got a
> >> "segmentation fault" message.
> >>
> >> Could anyone help me?
> >>
> >> Thanks in advance,
> >> Manitra
> >>
> >> ------------------------------------------------------------------------
> >> Name: winmail.dat
> >> winmail.dat Type: application/x-unknown-content-type-dat_auto_file
> >> Encoding: base64



This archive was generated by hypermail 2.1.7 : Fri Oct 08 2004 - 06:50:00 MDT