标签: system-verilog
如果我不希望数据在接受信号使用$ change低时改变,那么格式是什么?那会是最有用的功能吗?
答案 0 :(得分:0)
您可以使用并发断言,例如:
assert property (!Accept |-> !($changed(Data)));