数字芯片验证为什么需要断言assertion
时间：2021-11-11 14:52:41
[导读]断言主要应用在白盒验证或者灰盒验证中，即假设某些内部条件在仿真过程中或者形式验证中一直成立。为什么现代芯片验证方法大量使用断言有几个原因：1、在黑盒验证中，验证工程师不知道一些内部实现细节，需要设计工程在RTL中使用断言指定这些非法场景。2、对于一些难以用仿真验证的关键复杂电路，...
断言主要应用在白盒验证或者灰盒验证中，即假设某些内部条件在仿真过程中或者形式验证中一直成立。
为什么现代芯片验证方法大量使用断言有几个原因：1、在黑盒验证中，验证工程师不知道一些内部实现细节，需要设计工程在RTL中使用断言指定这些非法场景。2、对于一些难以用仿真验证的关键复杂电路，将断言应用于形式模型验证 3、有时候在下游模块的接口处存在一些约束，这就需要使用断言进行保护，以便集成时能够发现某些过约现象。4、断言语法简单，设计人员很容易编写。5、事实证明，大约20%的故障是通过断言发现的。
在验证过程中，断言能够在两个方面发挥作用： ■明确指定最初的设计意图，可以将这一组断言看作是在RTL中体现的规格。■验证工程师基于自己的理解，使用断言对设计内部实现进行检查 。基于断言的验证会将“check”这一验证周期才能进行的事情“左移”到了设计周期，能够更有效地在早期帮助验证工程师发现bug。
为什么现代芯片验证方法大量使用断言有几个原因：1、在黑盒验证中，验证工程师不知道一些内部实现细节，需要设计工程在RTL中使用断言指定这些非法场景。2、对于一些难以用仿真验证的关键复杂电路，将断言应用于形式模型验证 3、有时候在下游模块的接口处存在一些约束，这就需要使用断言进行保护，以便集成时能够发现某些过约现象。4、断言语法简单，设计人员很容易编写。5、事实证明，大约20%的故障是通过断言发现的。在验证过程中，断言能够在两个方面发挥作用： ■明确指定最初的设计意图，可以将这一组断言看作是在RTL中体现的规格。■验证工程师基于自己的理解，使用断言对设计内部实现进行检查 。基于断言的验证会将“check”这一验证周期才能进行的事情“左移”到了设计周期，能够更有效地在早期帮助验证工程师发现bug。
下载文档
