Просьба симулировать

Вместо подзаголовка: если закон на понятия налезет, кто кого сборет?

Я, конечно, понимаю, что для большинства программистов и айтишников языки описания хардвера - такая же крюковая грамота, как для меня, скажем, SQL, на котором я в жизни ни строчки не написал, но раз мне SQL в ленте иногда встречается, то вот.



Есть совсем простенькая программа:

module top;
bit a1, a2, b1, b2, c;
always_comb begin
    a1 <= b1;
    b1 <= c;
end
always @* begin
    a2 <= b2;
    b2 <= c;
end
initial begin
    #1 c = 1'b1;
    #1 $display("RESULT: ", a1,,a2);
end
endmodule

Не глядя в Language Reference manual, запустите ее на всех доступных симуляторах (которых по условию должно быть больше одного). Все ли они выдают один и тот же результат? Если да - напишите, согласны ли вы с ним. Если нет - напишите, какой симулятор какой результат выдал, и с каким из них вы согласны.