[sv-cc] Updated 265 with new proposal

Hi All,

First, my thanks to Jim for the review (and notes following the discussion
this morning). I reviewed 265 and added some fixes. Note that I forgot to
point out earlier today the "complementary" tickets ...(reason I recalled
doing some things that can't be found in 265 :-)!), I have therefore merged
all into 265 (except 68, which is a separate).

---> Joao/All, note that Section 28.3.2.1 e.g. vpi_get_assertion_info (see
Section) provides for getting the "assertion" info.

---> All, please review, and send any issues my way, I will try to do any
fixes I can before next time (all I ask is that someone delete the old
proposal when I do update :-)!!!).

265: Master ticket for merging Chapter 28's VPI into Chapter 31 and all
related fixes/changes in a single place

Subsumes + Fixes:

- 264 (add vpiAssumeType)

- 266 (removal of #define vpiSequenceSpec from sv_vpi_user.h).

- 70 (vpiAssertionDirective)

- 67: Add vpiAssumeType

- 66: Fix traversal example in Chapter 28.

- 69: Fix vpi_get [new proposal uses vpiType instead of vpiAssertionType]

68: VPI access to local variables

---> navigation access to handles: already covered in Chapter 31 through
vpiVariables
---> access to data: TBD (bug 68)

Fixes to 265's "old" proposal

a) Addition of info from 70 + correction (vpiAssumeType add to index)
Addition of info from 67 + correction (vpiAssertionType is no more)
[already had info of 266]
+ (fixed) 66
+ (fixed) 69

b) Addition of info from 264 (vpiAssumeType)
c) Fix 31.46: By virtue of integration vpiAssertionType from Chapter 28 is
no longer needed (we get vpiType as a freebee so use that in 28, remove
note/property here) + Add iteration over NULL handle into figure.
d) Fix 31.2 with one to many relationship (for iteration).
e) Fix "immediate..." (lower case "i") p. 441 and also 31.37.

Action Items: (Charles please add)

- Consider 265 next time [same as: "- Francoise and Bassam to reconcile
sections 28 and 31"]

- Delete proposals + Zombie (?): 66, 67, 69, 70, 264, 266

- Delete old proposal in 265.

Thx.
-Bassam.

--
Dr. Bassam Tabbara
Architect, R&D
Novas Software, Inc.
(408) 467-7893