hdlmodelchecker requires a model or a full path to the subsystem to be specified. Use hdlmodelchecker('modelname') or hdlmodelchecker('modelname/subsys') instead
hdlmodelchecker