[sv-ac] Mantis 1550

Dear SV-BC:

This mail will probably go into the void due to my lack of
authorization to post to SV-BC.  I have copied Shalom Bresticker in
the hopes that he can make things right.

SV-AC passed Mantis 1550, which changes the definition of $sampled.

We also have Mantis item 1698 to review the semantics of the other
sampled value functions ($past, $rose, etc.) with respect to changes
in the scheduling semantics and for the goodness criterion of
synthesizability.

These functions are defined in Section 17, but they can be used
outside of assertions, so it is recommended that you have a look and
give us your feedback.

Best regards,

John H.

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