Если вы хотите, чтобы ваш блок был чувствителен к отключению переключателя, вам понадобится знак перед именем входа переключателя, например, "switch_line":
always @(posedge clock, posedge reset, negedge swtich_line)
Если вы просто хотите сделать триггер, проверьте состояние переключателя на каждом положительном фронте тактового цикла,
always @(posedge clock, posedge reset)
if (!switch_line)
// ...
else
// ...
Вы пытаетесь смоделировать триггер, защелку или, возможно, какой-то новый тип оборудования? Обычно только триггеры и защелки заинтересованы в тактовом сигнале. Триггер с асинхронным сбросом моделируется как
always @(posedge clock, posedge reset)
Для синхронного сброса сбросьте сигнал сброса из списка чувствительности.
В соответствии с комментариями пользователя, другой вариант - просто подключить сигнал go для сигнала сброса. Когда вы подключаете этот модуль, вы можете делать следующее:
mymodule UUT(
.clock(clock),
.reset(~go),
//...
);
Если вы откажетесь от перехода, вы получите то же самое, что и при сбросе, только инвертированное (например, сигнал, идущий от 1 до 0).