To improve readability, a default case item should include a colon.
unique case (my_state)
StInit: $display("Shall we begin");
StError: $display("Oh boy this is Bad");
default begin // Noncompliant: No ":"
my_state = StInit;
interrupt = 1;
end
endcase
unique case (my_state)
StInit: $display("Shall we begin");
StError: $display("Oh boy this is Bad");
default: begin
my_state = StInit;
interrupt = 1;
end
endcase