如果属性中的链式蕴含不那么难，那就简单了

如果属性中的链式蕴含不那么难，那就简单了

作者: Don Mills, Microchip Technology Inc., Chandler, AZ, USA

---

摘要

在并发断言属性中使用蕴含操作符对于在验证期间掩蔽假负结果至关重要。然而，许多设计师避免在同一属性中使用多个蕴含，因为它们难以理解和维护。本文将剖析一个两级链式蕴含，其中第一级结果/第二级前件包含一个最终性条件（无界范围）。分析将考虑各种场景和假设，讨论该属性为何以及如何以这种方式工作。

---

图片索引

本文图片数为0。