[sv-cc] LRM errata (posted already on website)

Attached is the LRM errata which I mistakenly appended in a private email to
David instead of posting here... apologies, here they are.
 
original form (snippet from email to Dave):
1) p. 143: Below says "2^32" combinations they are 2^33 in the tuple {s,d},
and it says "s is only true for {1,0}" it should be "c is only true...".
Also "the probability of c .... ". BTW may be {s -> (d == 0)} so the
precedence is obvious is in order too...

[May be better to say "the probability of "d==0" .... as the next paragraph
in LRM ... not sure]

rand bit [31:0] d;

constraint c { s -> d == 0; }

endclass

The constraint c says "s implies d equals zero". Although this reads as if s
determines d, in fact s and d are

determined together. There are 232 valid combinations of {s,d}, but s is
only true for {1,0}. Thus, the probability

that s is true is 1/232, which is practically zero.

2) p. 390 Draft5,"Our The focus in the API is the user view of access." <<<<
replace "Our" with "The"

3) p. 392 Draft5, top of page, "vpiAccessLimitedInteractive" is broken up
...

/* Access */

#define vpiAccessLimitedInteractive 830 /* interactive */ <<<<<<<<<<
All one word

4) Our The usage here in the read API is of either: <<< replace "Our" with
"The"
 
 
Current form on http://www.eda.org/sv/LRMChanges_draft6.htm
 
LRM-305 Bassam Tabbara SV-CC Minor Erratum for Draft5 - other ones
Private email LRM Draft 5 Section
<http://www.eda.org/sv/Changes_draft6/LRM_Changes_12.html> 12.4.9
Accepted
        Section <http://www.eda.org/sv/Changes_draft6/LRM_Changes_30.html>
30.2
        Section <http://www.eda.org/sv/Changes_draft6/LRM_Changes_30.html>
30.3.2.1
        Section <http://www.eda.org/sv/Changes_draft6/LRM_Changes_30.html>
30.4.2
        Section <http://www.eda.org/sv/Changes_draft6/LRM_Changes_30.html>
30.8.3
        Section <http://www.eda.org/sv/Changes_draft6/LRM_Changes_E.html>
E.1

--
Dr. Bassam Tabbara
Technical Manager, R&D
Novas Software, Inc.
http://www.novas.com <http://www.novas.com/> 
(408) 467-7893