The following table lists the exceptions to supported Verilog language support.
Verilog Construct | Exception |
---|---|
Compiler Directive Constructs | |
`unconnected_drive
|
not supported |
`nounconnected_drive
|
not supported |
Attributes | |
attribute_instance
|
not supported |
attr_spec
|
not supported |
attr_name
|
not supported |
Primitive Gate and Switch Types | |
cmos_switchtype
|
not supported |
mos_switchtype
|
not supported |
pass_en_switchtype
|
not supported |
Generated Instantiation | |
generated_instantiation
|
The Production from IEEE standard (see IEEE Standard Verilog Hardware Description Language (IEEE-STD-1364-2001) section 13.2 ):
Production supported by Simulator:
|
genvar_assignment
|
Partially supported. All generate blocks must be named. Production from standard (see IEEE Standard Verilog Hardware Description Language (IEEE-STD-1364-2001) section 13.2):
Production supported by Simulator:
|
Source Text Constructs | |
Library Source Text | |
library_text
|
not supported |
library_descriptions
|
not supported |
library_declaration
|
not supported |
include_statement
|
This refers to include statements within library map files (See IEEE Standard Verilog Hardware
Description Language (IEEE-STD-1364-2001) section 13.2.
This does not refer to the `include
compiler directive. |
System Timing Check Commands | |
$skew_timing_check
|
not supported |
$timeskew_timing_check
|
not supported |
$fullskew_timing_check
|
not supported |
$nochange_timing_check
|
not supported |
System Timing Check Command Argument | |
checktime_condition
|
not supported |
PLA Modeling Tasks | |
$async$nand$array
|
not supported |
$async$nor$array
|
not supported |
$async$or$array
|
not supported |
$sync$and$array
|
not supported |
$sync$nand$array
|
not supported |
$sync$nor$array
|
not supported |
$sync$or$array
|
not supported |
$async$and$plane
|
not supported |
$async$nand$plane
|
not supported |
$async$nor$plane
|
not supported |
$async$or$plane
|
not supported |
$sync$and$plane
|
not supported |
$sync$nand$plane
|
not supported |
$sync$nor$plane
|
not supported |
$sync$or$plane
|
not supported |
Value Change Dump (VCD) Files | |
|
not supported |