"Deadlock Detection ? "

From: Mohammad.R Kakoee (kakoee_at_cad.ece.ut.ac.ir)
Date: Tue Nov 21 2006 - 00:38:13 MST

• Next message: yg2153_at_columbia.edu: "segmentation fault vl2mv"
• Previous message: Shaun Feng: "Re: VHDL to BLIF issue (LEON2)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Dear All,
I am attempting to detect Deadlocks in a state machine using VIS.
I think there are two choices for doing that:

1) writing some properties to detect deadlocks with no changing in the VIS
source code.
2) Adding a C function to VIS source code to detect deadlocks
automatically( without writing any property).

Is there any body having applicable experiences about these two methods
especially the second one.

Regards,
kakoee.

Mohammad.Reza kakoee
ECE Department, University of Tehran
http://cad.ece.ut.ac.ir/~kakoee

• Next message: yg2153_at_columbia.edu: "segmentation fault vl2mv"
• Previous message: Shaun Feng: "Re: VHDL to BLIF issue (LEON2)"
• 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 : Tue Nov 21 2006 - 02:13:12 MST