[sv-ac] Behaviour of $past under "disable iff"

hi AC,

We were asked recently whether the state stored by $past
(and its friends $rose, $fell) is affected by "disable iff".
I couldn't find anything explicit in the LRM about this;
it looks as though the intent is that the sampling for
$past should be unaffected by the disable-iff condition.

Consider

  assert property ( 
    disable iff (Reset) 
    @(posedge Clk) 
    $past(A) |-> B 
  );

Given that $past infers its clock from the context, users 
might imagine it would also respect the reset condition.  
Would it be helpful to describe this behaviour a little
more explicitly?

thanks
-- 
Jonathan Bromley


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.