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

I just updated the file attachment in SV #353.
Two comment lines about Assertion VPI being assigned
the numerical range 780-799 were deleted.
 
Regards,
Doug

________________________________

        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
         
Received on Tue Jan 25 17:01:22 2005