Table 6-1 lists KAP assertions and their duration:
| Assertion | Duration |
|---|---|
| C*$* assert [no]argument aliasing | until reset |
| C*$* assert [no]bounds violations | until reset |
| C*$* assert do (concurrent) | next loop |
| C*$* assert do (concurrent call) | next loop |
| C*$* assert do (serial) | see text |
| C*$* assert do prefer (concurrent) | next loop |
| C*$* assert do prefer (serial) | next loop |
| C*$* assert [no]equivalence hazard | until reset |
| C*$* assert [no]last value needed | until reset |
| C*$* assert permutation ( <name> ) | next loop |
| C*$* assert no recurrence ( <name> ) | next loop |
| C*$* assert relation (<name>.xx.<variable/constant>) | next loop |
| C*$* assert no sync | next loop |
| C*$* assert [no] temporaries for constant arguments | until reset |
For the assertions listed with (name ), (name
.xx. variable ), and (name .xx. constant ),
the following example illustrates the format of the information
required:
C*$* assert permutation (ip) C*$* assert relation (n .gt. m) C*$* assert relation (n .gt. 0)