[sv-cc] RE: SV LRM Review: 277, and 265

Oh well, sorry. Fig attached.
 

--
Dr. Bassam Tabbara
Architect, R&D
Novas Software, Inc.
(408) 467-7893
 
  _____  
From: Bassam Tabbara [mailto:bassam@novas.com] 
Sent: Tuesday, January 25, 2005 4:27 PM
To: 'sv-cc@eda.org'
Cc: 'chas@cadence.com'; 'stuart@sutherland-hdl.com'; 'Warmke, Doug'
Subject: SV LRM Review: 277, and 265
Charles, please help with status update since I can't ... Doug need your
help with one item below.
 
277: Please move state to Closed.
 
265: I found two minor issues, please assign back to SV-LRM.
  1) Annex I, p. 624 (skipped in 265 but obviously apparent now ...), the
"NOTE: Assertion VPI has been assigned the numerical range 780-799" should
be crossed out.
  ----> Doug can you update the actual file please ?? Or Stu you can do
that, right ?
  2) Annex I, p. 625, "vpiAssume" should be "vpiAssume," (inside a comment
no biggy ... still ...).
 
I attach a jpg so it should be clear what I am talking about. Please let me
know if any questions.
 
Thx.
-Bassam.
 
--
Dr. Bassam Tabbara
Architect, R&D
Novas Software, Inc.
(408) 467-7893