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

A message retrieved from the void.  

>-----Original Message-----
>From: owner-sv-ac@server.eda.org 
>[mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek
>Sent: Thursday, February 15, 2007 10:44 AM
>To: sv-bc@server.eda-stds.org
>Cc: Bresticker, Shalom; sv-ac@server.eda-stds.org
>Subject: [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.