In reply to markylew:
Hi Ben,
Can you elaborate on “the use of the end of statement “:””?
Also, why isn’t there a semicolon “;” after the below assert statement?
always @* begin
ERR_reset_went_unknown: assert(!$isunknown(Reset))
else $error("ERR_reset_went_unknown");
end
Thanks,
Mark