[sv-ac] 1503 bugnote

	This is the bugnote that I will add to 1503:

	The following issues were reported late after the SV-AC and
SV-CC committee approvals.  SV-AC recommends that the champions provide
the following friendly ammendments:
	
1.	In 36.76 Let declaration, 
a.	This is dependent on approval of the let proposal: Mantis 1728
b.	vpiDefFile and vpiDefLineNo should be crossed out as was done on
the other diagrams. 
c.	A details note should be added of the semantic restriction that
"seq formal decl" can only be a boolean expression, not a sequence or a
named event 
2.	38.5.2  "verification statements"  should be "assertion
statements" (2 times) 
3.	 In diagram 36.45 Property specification, "clocked property"
should be "clocked prop"  to be consistent with vpiClockedProp  and
vpiClockedSeq   


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.