Modelsim Unable To Check