32.34 Property specification

Change:

     NOTES:

     1) ...

     2) Within the context of a property expr, vpiOpType can be any one of vpiNotOp, vpiImplyOp, vpiDelayedImplyOp, vpiAndOp, vpiOrOp, vpiIfOp, vpiIfElseOp. Operands to these operations shall be provided in the same order as shown in the BNF.

To:

     NOTES:

     1) ...

     2) Within the context of a property expr, vpiOpType can be any one of vpiNotOp, vpiOverlapImplyOp, vpiNonOverlapDelayedImplyOp, vpiCompAndOp, vpiCompOrOp,  vpiIfOp, or vpiIfElseOp. Operands to these operations shall be provided in the same order as shown in the BNF.

32.36 Sequence expression

Change:

     NOTES:

     1) Within a sequence expression, vpiOpType can be any one of vpiAndOp, vpiIntersectOp, vpiOrOp, vpiFirstMatchOp, vpiThroughoutOp, vpiWithinOp, vpiUnaryCycleDelayOp, vpiCycleDelayOp, vpiRepeatOp, vpiConsecutiveRepeatOp or vpiGotoRepeatOp.

To:

     NOTES:

     1) Within a sequence expression, vpiOpType can be any one of vpiCompAndOp, vpiIntersectOp, vpiCompOrOp, vpiFirstMatchOp, vpiThroughoutOp, vpiWithinOp, vpiUnaryCycleDelayOp, vpiCycleDelayOp, vpiRepeatOp, vpiConsecutiveRepeatOp or vpiGotoRepeatOp.

Annex I

Add:

     #define vpiAssignmentPatternOp      75         /* '{} assignment pattern */
     #define vpiMultiAssignmentPatternOp 76     /* '{n{}} multi assignment pattern */

     #define vpiIfOp                     77        /* if operator */
     #define vpiIfElseOp             78        /* if...else operator */
     #define vpiCompAndOp       79        /* Composite and operator */
     #define vpiCompOrOp          80        /* Composite or operator */