Section 16—Assertions
|
IEEE Subsection |
Construct |
Description |
|---|---|---|
|
16.3 |
Immediate assertions |
Supported. |
|
16.5 |
Concurrent assertions overview |
Supported. Ignored for synthesis. |
|
16.6 |
Boolean expressions |
Supported. Ignored for synthesis. |
|
16.7 |
Sequences |
Supported. Ignored for synthesis. |
|
16.8 |
Declaring sequences |
Supported. Ignored for synthesis. |
|
16.9 |
Sequence operations |
Supported. Ignored for synthesis. |
|
16.10 |
Local variables |
Supported. Ignored for synthesis. |
|
16.11 |
Calling subroutines on match of a sequence |
Supported. Ignored for synthesis. |
|
16.12 |
System functions |
Supported (only in assertions). |
|
16.13 |
Declaring properties |
Supported. Ignored for synthesis. |
|
16.14 |
Multiclock support |
Supported. Ignored for synthesis. |
|
16.15 |
Concurrent assertions |
Supported. Ignored for synthesis. |
|
16.17 |
Clock resolutions |
Supported. Ignored for synthesis. |
|
16.18 |
Expect statement |
Not supported |
|
16.19 |
Clocking blocks and concurrent assertions |
Not supported |