Я пытаюсь понять, когда использовать $rose для сигнала в утверждении. Например, каким образом два приведенных ниже утверждения будут вести себя по-разному? first:assert property (@(posedge clk) $rose(reset) |-> (data == 0));...

Я должен написать следующее параллельное утверждение в моем мониторе: assert property (vif.cos == 1 |-> vif_out.y == vif.xi/sqrt(2)); Я попытался поместить его в run_phase, но получил следующую ошибку: Параллельные утверждения не...

Для этого кода я вижу, что оба утверждения терпят неудачу. Кажется, что отключить iff (значение) вычисляется позже, чем само выражение. Может кто-нибудь объяснить это. module tb(); reg clk = 1; always #5 clk = !clk; reg rst = 1; always @...

Я планировал написать проверку для двухпортовой оперативной памяти с утверждениями, но когда я пытаюсь связать свойство ниже. Я не использовал стержни rd или rst, с которых я взял свой долг....