Re: [sv-bc] 10.4: unique case question

From: Steven Sharp <sharp_at_.....>
Date: Thu Jan 12 2006 - 17:31:25 PST
>From: "Bresticker, Shalom" <shalom.bresticker@intel.com>

>"To implement this requirement, an
>implementation can continue the evaluations and comparisons after the 
termination of the usual linear search
>and even after the execution of the statement associated with the first 
matching case item."
>
>Allowing execution of the statement associated with the first matching case 
item seems to me to be very problematic. This execution could itself change the 
values of the following case item expressions. It could also include time 
delays.

I agree that this is taking the flexibility too far.  For example, a case
statement for a state machine will contain statements that change the state
variable to the next state.  Once we have selected a unique case item, this
changing of the state for next time should not produce a violation.

Steven Sharp
sharp@cadence.com
Received on Thu Jan 12 17:31:36 2006

This archive was generated by hypermail 2.1.8 : Thu Jan 12 2006 - 17:31:59 PST