Subject: RE: [sv-ac] More SV-AC draft 1 comments
From: David W. Smith (david.smith@synopsys.com)
Date: Wed Apr 09 2003 - 14:18:37 PDT
Thanks Connie,
I have created LRM-124, 125, and 126 to track these.
Regards
David
-----Original Message-----
From: Connie ODell [mailto:c.odell@ieee.org]
Sent: Wednesday, April 09, 2003 11:47 AM
To: 'David W. Smith'; sv-ac@eda.org
Subject: [sv-ac] More SV-AC draft 1 comments
David,
Thanks! Further question:
In 22.6 but notably not mentioned in section 17: What is the
fate of $assertoff, $asserton, $assertkill, as asked at the end of 22.6?
If they are to be retained, can we add an "_" in the names for readability?
And a few more typos, I think this is all for now:
17.7.1: "which which" -> "which" LRM-124
17.7.3: "rxpressions" -> "expressions" LRM-125
17.10: "disabble" -> "disable" LRM-126
Cheers,
Connie L. O'Dell
EDA Application Support / Customer Advocate
c.odell@ieee.org
(303)641-5191
Boulder, CO
Resume: <http://connie.odell.home.attbi.com/Connie_L_ODell.pdf>
http://connie.odell.home.attbi.com/Connie_L_ODell.pdf
This archive was generated by hypermail 2b28 : Wed Apr 09 2003 - 14:17:20 PDT