These signals in your design have signal object storage class specified as ''ExportedGlobal'', ''ImportedExtern'', or ''ImportedExternPointer''. HDL code generation ignores this storage class specification and simulating the validation model can generate errors. Set the signal object storage class to ''Auto'' for the signals
hdlmodelchecker