Для примера, конструкция
always @(posedge clk or negedge rst)
Описывает триггер с асинхронным сбросом