[sv-bc] FW: [sv-ac] Mantis 1550

----- Forwarded http://www.eda-stds.org/sv-ac/hm/3286.html -----
On Behalf Of John Havlicek
Sent: Thursday, February 15, 2007 10:44 AM

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.