|
ID
|
Message
|
|
Associated types (fields, variables, functions, etc.)
| |
| ILLEGAL_TYPE_REFERENCE | Unexpected type # of # (type is #) |
| ILLEGAL_TYPE_REFERENCE | Unexpected type # of # (use virtual [interface] in front of #) |
| ILLEGAL_CUNIT_REFERENCE | Reference to compilation unit identifier # not allowed in package |
| NON_EXISTING_TYPE | Non existing type # |
| USAGE_BEFORE_DECLARATION | Element # is used before being declared at line # in # |
|
Blocks
| |
| DUPLICATE_CLOCKING | Duplicate clocking block #, already declared at line # file # |
| DUPLICATE_NAMED_BLOCK | Duplicate named block #, already declared at line # file # |
|
Checkers
| |
| DUPLICATE_CHECKER | Duplicate checker #, already declared at line # file # |
| UNDECLARED_CHECKER | Checker # is not declared |
| ILLEGAL_CHECKER_INSTANCE | Instance # of checker # not allowed in procedural code of a checker |
| ILLEGAL_CHECKER_INSTANCE | Instance # of checker # not allowed in fork-join, fork-join_any or fork-join_none |
|
Classes
| |
| CIRCULAR_INHERITANCE | Class # extends itself |
| DUPLICATE_CLASS | Duplicate class #, already declared at line # file # |
| DUPLICATE_CONSTRUCTOR | Duplicate constructor # already declared at line # file # |
| EXTEND_CLASS | Extending non existing class # |
| EXTERN_CONSTRAINT_UNDECLARED | Outer class constraint # was not declared extern inside class # |
| EXTERN_FUNCTION_UNDECLARED | Outer class function # was not declared extern inside class # |
| EXTERN_TASK_UNDECLARED | Outer class task # was not declared extern inside class # |
| EXTEND_INTERFACE_CLASS | Extending interface class # by non-interface class not allowed |
| IMPLEMENT_CLASS | Implementing non-interface class # by class not allowed |
| IMPLEMENT_INTERFACE_CLASS | Implementing non existing interface class # |
| ILLEGAL_SUPER_USE | Class # does not have a super class |
| USAGE_BEFORE_DECLARATION | Element # is used before being declared at line # in # |
|
Configurations
| |
| UNDECLARED_CELL | Cell # is not declared |
| UNDECLARED_CONFIGURATION | Configuration # is not declared |
| UNDECLARED_DESIGN | Top design # is not declared |
| UNDECLARED_LIBRARY | Library # is not declared |
|
Constraints
| |
| DUPLICATE_CONSTRAINT | Duplicate constraint #, already declared at line # file # |
| DUPLICATE_CONSTRAINT_IMPL | Duplicate constraint implementation for #, already declared at line # file # |
| EMPTY_IMPLICIT_CONSTRAINT_IMPLEMENTATION | Implicit external constraint # is not implemented |
| UNIMPLEMENTED_EXPLICIT_EXTERNAL_CONSTRAINT | Explicit external constraint # is not implemented |
|
Covergroups
| |
| DUPLICATE_COVER_CROSS | Duplicate cover cross #, already declared at line # file # |
| DUPLICATE_COVERGROUP | Duplicate covergroup #, already declared at line # file # |
| DUPLICATE_COVERPOINT | Duplicate coverpoint #, already declared at line # file # |
| ILLEGAL_COVERPOINT_EXPRESSION | Coverpoint expression must be of an integral data type |
| WITH_COVERPOINT_BINS_EXPRESSION | Coverpoint bins
with expression should explicitly contain
item
|
|
Events
| |
| DUPLICATE_EVENT | Duplicate event #, already declared at line # file # |
|
Enumerations
| |
| DUPLICATE_ENUM_LITERAL | Duplicate enumeration literal #, already declared at line # file # |
| IMPLICIT_ENUM_CAST | Auto-cast from enum type # to enum type # |
|
Extern methods
| |
| EXTERN_METHOD_SIGNATURE | Return data type # for extern method # does not match prototype |
| EXTERN_METHOD_SIGNATURE | Scope resolution operator shall be used to indicate the internal return type # for extern method # |
| EXTERN_METHOD_SIGNATURE | Number of arguments # for extern method # does not match prototype |
| EXTERN_METHOD_SIGNATURE | Name of argument # for extern method # does not match prototype |
| EXTERN_METHOD_SIGNATURE | Type of argument # for extern method # does not match prototype |
| EXTERN_METHOD_SIGNATURE | Direction of argument # for extern method # does not match prototype |
| EXTERN_METHOD_SIGNATURE | Default value of argument # for extern method # does not match prototype; the prototype declaration is used |
|
Instances
| |
| DUPLICATE_INSTANCE | Duplicate instance #, already declared at line # file # |
| IMPLICIT_PORT_CONNECTION | Cannot infer implicit connection for port(s) # |
| MISSING_PORT_CONNECTION | Missing port connection to # port(s) # |
| MULTIPLE_PORT_CONNECTIONS | Multiple connections to port # |
| NOT_IN_LIST_OF_PORTS | # not in the list of # ports" |
| NOF_PORT_CONNECTIONS | Expected # port connections, found # |
| NON_EXISTING_PORT | Non existing port # of module # |
| NOT_A_CHECKER_INSTANCE | Instance # is not a checker instance |
| UNDRIVEN_INPUT_PORT | Input port # is not driven |
| PORT_CONNECTION | Input port # connected to an output port |
| PORT_CONNECTION | Output port # connected to an input port |
| UNDECLARED_MODULE | Module # is not declared |
| UNDECLARED_MODULE | Module # is not declared for instance # |
| UNDECLARED_BIND_TARGET | Bind target # is not declared |
|
Illegal class members access (local, protected, static)
| |
| ILLEGAL_HIERARCHICAL_ACCESS | Illegal hierarchical reference detected on #.# (illegal hierarchical name containing type name #) |
| ILLEGAL_NON_STATIC_ACCESS | Non-static member # of class # cannot be accessed from static function/task |
| ILLEGAL_NON_STATIC_ACCESS | Non-static member # of class # cannot be accessed outside its class scope. |
| ILLEGAL_NON_STATIC_ACCESS | Non-static member # of class # cannot be accessed via class scope resolution operator :: |
| ILLEGAL_PRIVATE_ACCESS | Private member # of class # is not visible in this scope |
| ILLEGAL_PROTECTED_ACCESS | Protected member # of class # is not visible in this scope |
|
Implicit declarations (port mapping, assigns)
| |
| ILLEGAL_IMPLICIT | Illegal implicit declaration of # when `default_nettype set to none |
|
Interfaces
| |
| DUPLICATE_INTERFACE | Duplicate interface #, already declared at line # file # |
|
Hierarchical identifiers
| |
| UNDECLARED_IDENTIFIER | Identifier # is not declared |
| UNDECLARED_IDENTIFIER | Identifier # is not a member of # (type # is undeclared) |
| UNDECLARED_IDENTIFIER | Identifier # is not a member of # |
| UNEXPECTED_IDENTIFIER | Expecting function # but actual target is not a function |
|
Method calls
| |
| NON_EXISTING_METHOD_ARGUMENT | Non existing argument # of function/task # |
| METHOD_CALL_ARGUMENTS | Expecting minimum # argument(s) when calling #, found # |
| METHOD_CALL_ARGUMENTS | Expecting maximum # argument(s) when calling #, found # |
| ILLEGAL_WITH_CLAUSE | # does not support a
with clause
|
| ILLEGAL_WITH_CLAUSE | Array method # does not support a
with clause
|
| ILLEGAL_WITH_CLAUSE_EXPRESSION | Illegal type # of
with clause expression for method #
|
| MISSING_WITH_CLAUSE | Method # requires a
with clause
|
| UNSUPPORTED_METHOD | Method # is undefined for associative arrays |
| UNSUPPORTED_METHOD | Method # is undefined for associative arrays with wildcard index type |
| UNDECLARED_SYSTEM_METHOD | System task or function # is not declared |
|
Methods, DPI
| |
| DUPLICATE_ARGUMENT | Duplicate argument #, already declared at line # file # |
| DUPLICATE_FUNCTION | Duplicate function #, already declared at line # file # |
| DUPLICATE_FUNCTION_IMPL | Duplicate function implementation for #, already implemented at line # file # |
| DUPLICATE_NAME | Duplicate name #, already built-in method |
| DUPLICATE_METHOD_IMPLEMENTATION | Duplicate method implementation for #, already defined at line # file # |
| DUPLICATE_PRODUCTION | Duplicate production #, already declared at line # in # |
| DUPLICATE_TASK | Duplicate task # already declared at line # file # |
| DUPLICATE_TASK_IMPL | Duplicate task implementation for #, already implemented at line # file # |
| DUPLICATE_VARIABLE | Duplicate variable # already declared at line # file # |
| EXPORT_DPI_FUNCTION_IMPL | Export DPI function # was not implemented |
| EXPORT_DPI_TASK_IMPL | Export DPI task # was not implemented |
| ILLEGAL_OVERRIDE | Illegal override of built-in method # |
| ILLEGAL_PURE_VIRTUAL | Pure virtual method prototype # cannot be declared in non-virtual class |
| ILLEGAL_STATIC_VIRTUAL | Illegal static virtual function/task declaration |
| ILLEGAL_STATIC_VIRTUAL | Illegal static virtual function/task declaration |
| NOT_IMPLEMENTED_PURE_VIRTUAL | Sub-class # does not implement all pure virtual methods from super-classes |
| OVERRIDE_VIRTUAL_METHOD | Function # overrides task # |
| OVERRIDE_VIRTUAL_METHOD | Task # overrides # |
| OVERRIDE_VIRTUAL_METHOD | Return data type # for method # does not match # of overridden # |
| OVERRIDE_VIRTUAL_METHOD | Number of arguments # for method # does not match # of overridden # |
| OVERRIDE_VIRTUAL_METHOD | Type # of argument # for method # does not match # of overridden # |
| OVERRIDE_VIRTUAL_METHOD | Direction # of argument # for method # does not match # of overridden # |
| OVERRIDE_VIRTUAL_METHOD | Missing default value of argument # for method # (overridden # provides a default value) |
| OVERRIDE_VIRTUAL_METHOD | Unexpected default value of argument # for method # (overridden # does not provide a default value) |
| UNDECLARED_ARGUMENT | Expected argument, found local variable # |
| ILLEGAL_DEFAULT_VALUE | Illegal default value # for # formal port # |
| UNUSED_RETURN_VALUE | The return value of function # is not used |
| ILLEGAL_EXPRESSION | Void function/Task # cannot be used as an expression |
|
Modports and Clocking Blocks
| |
| DIRECTION_MISMATCH | Port # was specified as # in # |
|
Modules
| |
| DUPLICATE_MODULE | Duplicate module #, already declared at line # file # |
| SIGNAL_MULTIPLE_DRIVERS | Signal # has multiple drivers |
|
Nets, Variables, Fields, Properties
| |
| DUPLICATE_FIELD | Duplicate field #, already declared at line # file # |
| DUPLICATE_PORT | Duplicate port #, already declared at line # in {2} |
| STATIC_INITIALIZATION | Explicit static or automatic is required when implicit static variable is initialized |
| UNDECLARED_PORT | Port # direction declaration is missing |
|
Packages
| |
| DUPLICATE_PACKAGE | Duplicate package #, already declared at line # file # |
| IMPORT_IN_CLASS | Import statement not allowed within class scope |
| IMPORT_PACKAGE | Package # importing itself not allowed |
| NON_EXISTING_PACKAGE | Non existing package # |
| MISSING_IMPORT_ELEMENT | Explicit export element ignored (element not imported) |
| MISSING_IMPORT_PACKAGE | Wild-card export package ignored (package not imported) |
| MULTIPLE_PACKAGES | Name # exists in multiple imported packages (#, #, and possibly others) |
| USAGE_BEFORE_DECLARATION | Element # is used before being declared at line # in # |
|
Parameters
| |
| DUPLICATE_PARAMETER | Duplicate parameter #, already declared at line # file # |
| ILLEGAL_PARAMETER_OVERRIDE | Expecting a type when overriding parameter #, found value # |
| MISSING_DEFAULT_VALUE | Parameter # must have a default value |
| NOF_PARAM_OVERRIDES | Expected # parameter overrides, found # |
| NON_EXISTING_PARAMETER | Non existing parameter # of type # |
|
Preprocessing
| |
| CYCLIC_INCLUDE | Cyclic include detected |
| CYCLIC_MACRO | Cyclic define detected |
| FAILED_TO_OPEN_INCLUDE_FILE | Cannot open `include file # |
| NON_EXISTING_INCLUDE_FILE | No such file # |
| MISMATCHED_ENDIF | Expecting `endif label # found # |
| REDEFINED_MACRO | Redefinition of macro name # |
| UNDEFINED_MACRO | Undefined macro name: # |
| WRONG_NUMBER_OF_MACRO_ARGUMENTS | Number of macro instance parameters # not equal to macro define parameters # |
|
Primitives
| |
| DUPLICATE_PRIMITIVE | Duplicate primitive #, already declared at line # file # |
|
Programs
| |
| DUPLICATE_PROGRAM | Duplicate program #, already declared at line # file # |
|
Sensitivity
| |
| SENSITIVITY_MISSING | Missing # from sensitivity list |
| SENSITIVITY_NONE | The process is never evaluated (sensitive to nothing) |
| SENSITIVITY_UNUSED | The process is not sensitive to # |
|
Type Checking
| |
| ILLEGAL_ASSIGNMENT | Illegal assignment to type # from type # (cannot assign packed/unpacked type to unpacked/packed type) |
| ILLEGAL_ASSIGNMENT | Illegal assignment to type # from type # (arrays have different type of elements) |
| ILLEGAL_ASSIGNMENT | Illegal assignment to type # from type # (arrays have different unpacked dimensions) |
| ILLEGAL_ASSIGNMENT | Illegal assignment to type # from type # (arrays have different packed dimensions) |
| ILLEGAL_ASSIGNMENT | Illegal assignment to type # from type # (class types are not assignment compatible) |
| ILLEGAL_ASSIGNMENT | Illegal assignment of # to port/parameter # of type # |
| ILLEGAL_ASSIGNMENT | Illegal use of assignment pattern to type # |
| ILLEGAL_ASSIGNMENT | Illegal assignment to enum type # from enum type # (requires explicit cast) |
| ILLEGAL_ASSIGNMENT | Illegal assignment of # to variable # of enum type # (requires explicit cast) |
| ILLEGAL_ASSIGNMENT | Illegal assignment to variable # of enum type # (requires explicit cast) |
| ILLEGAL_CAST_OPERATION | Cannot cast # of type # to # |
| ILLEGAL_VOID_CAST | Void cast of task # not allowed"; |
| ILLEGAL_CONSTANT_ASSIGN | Constant variable # cannot be assigned |
| ILLEGAL_FOREACH_LOOP | Number of dimensions specified in FOREACH_LOOP is bigger than # dimensions |
| ILLEGAL_OPERAND | Unexpected # as first operand |
| ILLEGAL_PARAMETER_OVERRIDE | Expecting type name for parameter #.# but found variable name # |
| ILLEGAL_REPEAT_LOOP | Reference to the entire array # is not permitted in this context |
| ILLEGAL_REPEAT_LOOP | Using string # without index is not supported in the given context |
| ILLEGAL_REPEAT_LOOP | Reference to the entire unpacked struct/union # is not permitted in this context |
| ILLEGAL_TYPE_REFERENCE | # cannot be resolved to a variable |
| ILLEGAL_VARIABLE_REFERENCE | # cannot be resolved to a type |
| UNDEFINED OPERATOR | Operator # is undefined for argument type # |
| UNDEFINED OPERATOR | Operator # is undefined for argument types #, # |
| UNDEFINED OPERATOR | Concatenation operator is undefined for argument # of type # |
| UNDEFINED OPERATOR | The type of target # is # while the type of the source is # |
| UNDEFINED OPERATOR | Set member # of type # is incompatible with left-hand side expression type # |
| UNDEFINED OPERATOR | Set member of type # is incompatible with left-hand side expression type # |
| WIDTH_MISMATCH_PADDING | Assignment to #-bit value from #-bit value |
| WIDTH_MISMATCH_ROUNDING | Assignment to #-bit value from #-bit value |
| WIDTH_MISMATCH_TRUNCATION | Assignment to #-bit value from #-bit value |
|
Typedefs
| |
| DUPLICATE_TYPEDEF | Duplicate typedef #, already declared at line # file # |
| MISSING_TYPE_IMPLEMENTATION | # type is not implemented |
|
Jump statements
| |
| ILLEGAL_CONTINUE_OUTSIDE_LOOP | Continue statement not allowed outside loop |
| ILLEGAL_BREAK_OUTSIDE_LOOP | Break statement not allowed outside loop |
| ILLEGAL_EMPTY_RETURN | Empty return not allowed in non-void function, expecting # |
| ILLEGAL_RETURN_VALUE_TYPE | Illegal return value of type # for function of type # |
| ILLEGAL_VALUE_RETURN | Value return not allowed in task |
| ILLEGAL_VALUE_RETURN | Value return not allowed in void function |
| ILLEGAL_VALUE_RETURN | Value return not allowed in constructor |
|
Unused, Not Read, Not Written
| |
| SIGNAL_NEVER_READ | Signal # is never read |
| SIGNAL_NEVER_USED | Signal # is never used |
| SIGNAL_NEVER_WRITTEN | Signal # is never written |
|
Miscellaneous
| |
| SELECT_NOT_ALLOWED | Select expression for variable # not allowed |
| USAGE_BEFORE_DECLARATION | Element # is used before being declared at line # in # |