[sv-ac] 1503 Fixes to Assertion VPI object diagrams

 <<1503_vpi_071116.pdf>> 

Hi all,

Attached is the proposal for 1503 that fixes issues with the assertion
related VPI object diagrams.   Bassam and I have worked together to
create this.  It is still owned by SV-CC but we should review it in
SV-AC before passing it over.

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.
Immediate assertions are boolean, not sequential. Also the addition of
the other immediate assertions will make the section more substantial to
justify its own section.

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