[sv-ac] 1503: VPI diagram fixes

 <<1503_vpi_071120.pdf>> 
I have made all the planned updates. It is ready for review.  The file
is also on Mantis.

Lisa

Purpose:  The purpose is to fix issues with assertion VPI diagrams. 

1.	Clarify that vpiIdentifier iterator in the property and sequence
declaration shall return the list of arguments in the declaration.  
2.	Add vpiArgument as an iterator to properties similar to
sequences. 
3.	vpiArgument should be a property_expr for property instances and
a sequence_expr for sequence instances ( missed in Mantis 1730)
4.	In several diagrams vpiDefLineNo is a "str".  This should be an
"int". It affect 36.44, 36.45, 36.46, 36.48.
5.	There is overlap in the definition of vpiDefLineNo and vpiDef.
Add a note that they are the same for property and sequence
declarations. 
6.	'block identifier' makes no sense for sequence and property
declarations.  These are not 'labeled statements'. In diagram 36.46,
'block identifier' should be replaced with 'name'.
7.	vpiArgument should only come out of the sequence and property
instance where they are defined (definitions are bold), so they should
not be shown in the declaration diagrams.
8.	It was clarified that you can only control verification
statements, which then enables the instances within them.
Clarifications were also stated w.r.t. interpretation of start times,
pass, and fail of a sequence or property.
9.	It was clarified what callbacks apply to sequence and property
instances. The callbacks on the property and sequence instances are
cbAssertionStart, cbAssertionSuccess and cbAssertionFailure only.
10.	bool: vpiIsCoverSequence was added under cover on diagram 36.43
for distinguishing cover property and cover sequence (missed in Mantis
1768)
11.	Added a note to the editor to make the Immediate assertion a
section of its own instead of being included with the sequence_expr
diagrams in 36.47.
12.	Added vpiClockedProp to the header file and placed it under
vpiClockedSeq . Also deleted vpiActualArgExpr that is defined in the
header file, but is not an object in any of the diagrams so should be
removed
13.	Added vpiClockedSeq diagram to 36.48


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