如何使用简单的SystemVerilog断言来验证你的设计

文章预览

介绍 功能覆盖、激励生成和运行管理是当今功能验证的三大相互关联的任务。其中，功能覆盖率可以说是最重要的，主要是因为覆盖率收敛是tape的主要标准。覆盖率衡量标准提供了关键的反馈。如 图1 所示，覆盖率模型应包括端到端功能覆盖、主要接口的事务覆盖、关键RTL结构的结构覆盖和基本代码覆盖。 基于断言的方法有助于发现bug，反馈回归环境的质量。这种方法不仅可以由验证实现，设计可以通过以断言的形式描述他们对设计内部操作的深入行为来提供check。 断言和功能覆盖实际上是同一枚硬币的两面。两者都在寄存器传输水平（RTL）设计中提供详细的观察点。 指南 遵循指南可以使设计更容易。首先，将断言放在RTL代码中，以便它们可以与RTL代码一起管理、更新和重复使用。接下来，通过适当的注释将断言与RTL分开；一些公司建议将ifdef ………………………………