我添加了一个立即断言来测试两个寄存器在任何给定时间都没有被编程为相同的值。我在时间 0fs 失败,因为所有值都未初始化并且是“x”。
always @(*) begin
assert_reg_val_cmp:
assert (reg != 1'b1) else $error("...error msg...");
end
有没有办法仅在初始时完全禁用此断言?我可以使用reg !== 1'b1
比较,它也比较“x”,但我想在 0fs 之后捕捉任何“x”状态。
我添加了一个立即断言来测试两个寄存器在任何给定时间都没有被编程为相同的值。我在时间 0fs 失败,因为所有值都未初始化并且是“x”。
always @(*) begin
assert_reg_val_cmp:
assert (reg != 1'b1) else $error("...error msg...");
end
有没有办法仅在初始时完全禁用此断言?我可以使用reg !== 1'b1
比较,它也比较“x”,但我想在 0fs 之后捕捉任何“x”状态。