[sv-ac] re: Minutes of IEEE P1800 SV-AC meeting #3: 09/29/04

I would like to add that an event_name.triggered can also be used in the disable iff. For example, the following IS legal:
logic reset_n;
event blast;
sequence qAB; @ (posedge clk) a ##[0:20] b; endsequence : qAB
property P; @ (posedge clk)
   disable iff (blast.triggered || qAB.triggered ||!reset_n)
   x |=> ##[0:100] y;
endproperty : P
Ben Cohen
 
<195: Use of sequence.ended in disable iff - since ended is normally defined only in a context sampled by the specific clock edge, its truth/falsity cannot be determined throughout the entire simulation step. disable iff is asynchronous, hence if ended is part of more complex boolean expression it is not clear when to consider that expression valid. There is an alternative - use sequence.triggered which is a boolean valid troughout the simulation step. Surrendra and Ed are to prepare a proposal for clarification in the LRM.

Votes:
Received on Thu Sep 30 10:59:18 2004