[sv-ac] 1731

I reviewed 1731. I don't think that the description of $past at 17.7.3
is clear enough. There should be an explicit description of what timestep
is being sampled by $past w.r.t. the different clocks and the gating 
expression2.

Doron



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