[sv-ac] $past RTL operational model?

I think that $past(x, 1, ,@clk) has the following model:

var type(x) past_x;

always @clk past_x = $sampled(x);

Replace $past(x, 1,,@clk) instance by  $sampled(past_x).

For bit x,  $rose(x) becomes $sampled(x) && !$sampled(past_x)

etc.

Would that make sense?

ed

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