SystemVerilog Assertion label

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