[sv-cc] 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