OVL_ERROR : ASSERT_PROPOSITION : VIOLATION : Test expression is FALSE : severity 1 : time 30 : main.top.assertProp.ovl_error_t