task ovl_error; input [8*63:0] err_msg; begin error_count = error_count + 1; `ifdef ASSERT_MAX_REPORT_ERROR if (error_count <= `ASSERT_MAX_REPORT_ERROR) `endif $display("OVL_ERROR : %s : %s : %0s : severity %0d : time %0t : %m", assert_name, msg, err_msg, severity_level, $time); if (severity_level == 0) ovl_finish; end endtask task ovl_finish; begin #100 $finish; end endtask task ovl_init_msg; begin $display("OVL_NOTE: %s initialized @ %m Severity: %0d, Message: %s", assert_name,severity_level, msg); end endtask