System verilog Systemverilog$change断言

如果我不想在接受信号低时使用$change更改数据，那么格式会是什么？这是最有用的函数吗？

您可以使用并发断言，例如：

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

---

就我所知，您希望数据在accept较低时保持稳定。一个人可以用！接受|->$stabledata。我不明白你在问什么。什么格式？什么接收信号？您是否需要使用$change的示例断言？