Systemverilog $更改断言

时间:2018-01-25 21:27:15

标签: system-verilog

如果我不希望数据在接受信号使用$ change低时改变,那么格式是什么?那会是最有用的功能吗?

1 个答案:

答案 0 :(得分:0)

您可以使用并发断言,例如:

assert property (!Accept |-> !($changed(Data)));