Incomprehensive error message

From: Zaher S Andraus (zandrawi_at_eecs.umich.edu)
Date: Thu Apr 08 2004 - 21:39:25 MDT

• Next message: Cedric Roux: "Re: Incomprehensive error message"
• Previous message: Joan Bravo: "Your opinions are worth money"
• Next in thread: Cedric Roux: "Re: Incomprehensive error message"
• Reply: Cedric Roux: "Re: Incomprehensive error message"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi,

I am trying to use VIS for invariant checking.
I get the following error message:

vis> read_verilog pipelined_xor_for_vis.v
pipelined_xor_for_vis.v
Error: Variable _n24c<*1*><15> is not defined as an output of a table in
model spec.

And I can't figure out what _n24c is. The verilog file I am trying
to compile is attached. Can anyone tell me where the problem is?

Thanks,
-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x
Zaher S. Andraus
Advanced Computer Architecture Laboratory in EECS
University of Michigan - Ann Arbor
http://www.eecs.umich.edu/~zandrawi/academic.htm
-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x

• TEXT/PLAIN attachment: pipelined_xor_for_vis.v

• Next message: Cedric Roux: "Re: Incomprehensive error message"
• Previous message: Joan Bravo: "Your opinions are worth money"
• Next in thread: Cedric Roux: "Re: Incomprehensive error message"
• Reply: Cedric Roux: "Re: Incomprehensive error message"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Thu Apr 08 2004 - 21:42:35 MDT