Hi John, I have no problem with the changes you made. I added the following to the header in the file to summarize what changes have been done since the champions review: 2/5/2008 SV-AC vote 1) remove the change to 16.3 since it is in 1641 per the friendly amendment 2) "The biasing feature is only useful when properties are considered as assumptions to validate input stimulus. drive random simulation". was removed per the friendly amendment 3) changed "behavior" to "property" 4) combined the description of assertion statement and assertion. Assertion now references assertion statement. -----Original Message----- From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John Havlicek Sent: Tuesday, February 05, 2008 9:03 PM To: sv-ac@eda.org Subject: [sv-ac] revision of 1987 Hi Folks: I was supposed to revise 1698, but I got this confused and revised 1987 instead. I know that this is resolved, but I think there are some good revisions in it. Please have a look and send feedback immediately. I intend to call a vote on this. J.H. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
This archive was generated by hypermail 2.1.8 : Wed Feb 06 2008 - 01:32:49 PST