Разница между @ (posedge Clk); а <= 1'b1; и @ (posedge Clk) a <= 1'b1;

Есть ли разница между

@(posedge Clk);
   a<= 1'b1;

и

@(posedge Clk)
   a<= 1'b1;

? Обратите внимание на точку с запятой после Clk. Я наткнулся на похожие строки кода, просматривая тестовый стенд. Я провел несколько простых экспериментов и не смог найти никаких отличий во время моделирования. Изменится ли каким-либо образом последовательность выполнения кода, следующего за этими строками, из-за наличия / отсутствия точки с запятой?