DVT VHDL IDE User Guide
Rev. 19.1.29, 20 August 2019

5.2 Semantic Checks

ID Message
Architectures  
UNDECLARED_ARCHITECTUREArchitecture # is not declared
DUPLICATE_ARCHITECTUREDuplicate architecture #, already declared at line # in #
SIGNAL_MULTIPLE_DRIVERSSignal # has multiple drivers
SIGNAL_NEVER_USEDSignal # is never used
SIGNAL_NEVER_READSignal # is never read
SIGNAL_NEVER_WRITTENSignal # is never written
PORT_CONNECTIONOutput port # connected to an input port
PORT_CONNECTIONDuplicate architecture #, already declared at line # in #
PORT_CONNECTIONInout/Output port # connected to a non-signal expression
Associated types (fields, variables, functions, etc.)  
NON_EXISTING_TYPENon existing type #
USAGE_BEFORE_DECLARATIONElement # is used before being declared at line # in #
Blocks  
DUPLICATE_NAMED_BLOCKDuplicate named block #, already declared at line # in #
Case enumerated choices  
DUPLICATE_WHEN_CHOICEDuplicate case enumerated choice # already declared, already declared at line # in #
MISSING_ENUM_CHOICECase enumerated choice # is not defined
MISSING_OTHERS_CHOICECase choice 'others' is not defined
OTHERS_CHOICE_USEDCase choice 'others' used for non-explicit enumerated choices # ...
REDUNDANT_OTHERS_CHOICECase choice 'others' is redundant
INCONSISTENT_CHOICESCase choices inconsistent number of bits
Components  
UNDECLARED_COMPONENTComponent # is not declared
DUPLICATE_COMPONENTDuplicate component #, already declared at line # in #
Configurations  
UNDECLARED_CONFIGURATIONConfiguration # is not declared
DUPLICATE_CONFIGURATIONDuplicate configuration #, already declared at line # in #
Entities  
UNDECLARED_ENTITYEntity # is not declared
DUPLICATE_ENTITYDuplicate entity #, already declared at line # in #
Hierarchical identifiers  
UNDECLARED_IDENTIFIERIdentifier # is not declared
UNDECLARED_IDENTIFIERIdentifier # is not a member of #
UNEXPECTED_IDENTIFIERExpecting function # but actual target is not a function
Instances  
DUPLICATE_INSTANCEDuplicate instance #, already declared at line # in #
NOF_PORT_CONNECTIONSExpected # port connections, found #
MISSING_PORT_CONNECTIONMissing port connection to # port(s) #
NOT_IN_LIST_OF_PORTS# not in the list of # ports
UNDRIVEN_INPUT_PORTInput port # is not driven
Package, library use  
UNDECLARED_LIBRARYLibrary # is not declared
IMPLICIT_LIBRARY_ACCESSAccess to # library is implicit; the library clause can be removed
UNDECLARED_PACKAGEPackage # is not declared
NON_STANDARD_PACKAGEPackage # is deprecated, use IEEE.NUMERIC_STD package standard package
NON_STANDARD_PACKAGENON_STANDARD_PACKAGE: Package # is non-standard
Packages  
DUPLICATE_PACKAGEDuplicate package #, already declared at line # in #
DUPLICATE_PACKAGE_BODYDuplicate package body #, already declared at line # in #
Processes  
DUPLICATE_PROCESSDuplicate process #, already declared at line # in #
SENSITIVITY_MISSINGMissing # from sensitivity list
SENSITIVITY_UNUSEDThe process is not sensitive to #
Type aliases  
UNDECLARED_TYPEType # is not declared
Type Checking  
AMBIGUOUS_SUBPROGRAMSubprogram call # is ambiguous; there are # visible: #
AMBIGUOUS_EXPRESSIONExpression # is ambiguous; there are # visible: #
ARRAY_INDEX_SELECTSelect # contains too few indices (#) for array type #
ARRAY_INDEX_SELECTSelect # contains too many indices (#) for array type # of dimensionality #
ILLEGAL_ASSIGNMENT# cannot be assigned to #
ILLEGAL_CONSTANT_ASSIGNConstant variable # cannot be assigned
ILLEGAL_CONSTRAINTIndex constraint not allowed, type # in subtype of '# is already constrained
ILLEGAL_CONSTRAINTIndex constraint not allowed, type # of record element # in subtype of # is already constrained
ILLEGAL_CONSTRAINTCannot apply index constraint to non-composite type # of record element / array # in subtype of #
ILLEGAL_CONSTRAINTCannot apply index constraint to non-composite type # in subtype of #
ILLEGAL_TYPE_REFERENCE# cannot be resolved to a variable
INVALID_ACCESSType name # cannot be prefix of selected name #
INVALID_AGGREGATERecord aggregate choice # is not a simple name
INVALID_AGGREGATERecord aggregate choice # is not an element of record type #
INVALID_AGGREGATERecord elements of different types were used in multiple choice #
INVALID_AGGREGATEOthers choice in # record aggregate must represent at least one element
INVALID_AGGREGATERecord aggregate is missing an association for element #
INVALID_ATTRIBUTEAttribute # is not defined for prefix
INVALID_CASE_EXPRESSIONThe case expression # must be a discrete type or a one-dimensional character array type
INVALID_RANGERange left bound type # is different from right bound type #
INVALID_LITERALString literal has a character # not in the enumeration type #
INVALID_TYPE_CONVERSIONThe type conversion operand # cannot be a literal null / an allocator / a string literal
INVALID_TYPE_CONVERSIONThe conversion target type # and operand type # are not closely related
MISSING_CONSTRAINT Record / Array type # in subtype of # is missing an index / element constraint
SUBTYPE_INDICATIONSubtype indication is allowed only for object aliases (i.e. a constant, a variable, a signal, or a file)
TYPE_MISMATCHType error resolving expression # to type #
UNDECLARED_ARGUMENT# is not an argument
UNDEFINED_PROCEDUREUnable to find a procedure named #
UNDEFINED_SUBPROGRAMSubprogram call # is undefined
UNDEFINED_SUBPROGRAMSubprogram call # is undefined for expected return type #
UNDEFINED_SUBPROGRAMSubprogram # referred in alias/subprogram instantiation # is undefined
UNDEFINED_SUBPROGRAMSubprogram # referred in subprogram instantiation # is not an uninstantiated subprogram
ILLEGAL_SUBPROGRAM_ALIASAlias # must specify the subprogram signature
SUBPROGRAM_KIND_MISMATCHExpecting uninstantiated function/procedure, found procedure/function instead
UNEXPECTED_LOOP_LABELExpecting loop label # but actual target is not a loop
Types  
DUPLICATE_TYPEDuplicate type #, already declared at line # in #
Variables, Arguments, Attributes, Constants  
DUPLICATE_VARIABLEDuplicate variable #, already declared at line # in #
DUPLICATE_PORTDuplicate port #, already declared at line # in #
Vunits  
DUPLICATE_VUNITDuplicate vunit #, already declared at line # in #