Problems in flatten_hierarchy

From: Varun Varshney (varunv_at_iitg.ernet.in)
Date: Mon Apr 12 2004 - 08:42:00 MDT

• Next message: Susan Knight: "This is a neat idea"
• Previous message: Reginald Shields: "Own a Home? Get Cash Out - Rates are low!"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi,

I am an undergraduate student at IIT Guwahati, India.

I am working on the VIS tool for formal verification of a microwave oven
specification. I have successfully converted the Verilog specification in
the blifmv format. On doing init_verify, however, I get the follwing
errors. Being a first time user of VIS, I really don't have any clue about
this error, can you please help?

-----------------------------------
The error
-----------------------------------
Table _n64 is not deterministic
Table _n6f is not deterministic
Table _n85 is not deterministic
Cannot perform flatten_hierarchy.
-----------------------------------

I have also attached my .v file, it is very small, please look it if can
spare some time and suggest what I may be doing wrong. I will be really
glad if you can reply as soon as possible.

Best Regards,
Varun Varshney

-- 
*******************************************************************************
Varun Varshney
Senior Student, B.Tech.
Department of Computer Science & Engineering
Indian Institute of Technology Guwahati
E-Mail: varunv_at_iitg.ernet.in
	varshney_varun_at_yahoo.com
Mail:	Room No. 229, Hostel Kapili
	IIT Guwahati
	Guwahati - 781039
	Assam, India.
*******************************************************************************

• TEXT/PLAIN attachment: microwave.v

• Next message: Susan Knight: "This is a neat idea"
• Previous message: Reginald Shields: "Own a Home? Get Cash Out - Rates are low!"
• 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 : Mon Apr 12 2004 - 08:46:00 MDT