Doubt

From: vanessa goyal (vanessa_goyal@rediffmail.com)
Date: Fri Apr 05 2002 - 00:02:26 MST

Next message: Fabio Somenzi: "Re: Doubt"

Previous message: Samuel DELLACHERIE: "Re: time-out with synthesize_network"
Next in thread: Fabio Somenzi: "Re: Doubt"
Reply: Fabio Somenzi: "Re: Doubt"
Reply: vanessa goyal: "Re: Doubt"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Hello Sir,
In the arbiter example,suppose there is one more
primary input "enable".

Then there exists one more constraint(other than fairness
constraints) "enable should be high forever".

Only under this constraint we can check any liveness property.

Can you please tell me the way I should apply this constraint in
CTL, along with fairness constraints.

Thankyou
Vanessa

Next message: Fabio Somenzi: "Re: Doubt"
Previous message: Samuel DELLACHERIE: "Re: time-out with synthesize_network"
Next in thread: Fabio Somenzi: "Re: Doubt"
Reply: Fabio Somenzi: "Re: Doubt"
Reply: vanessa goyal: "Re: Doubt"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : Fri Apr 05 2002 - 00:15:12 MST