Assertion-based verification turns the corner
Assertion-based verification turns the corner
复制标题
基于断言的验证迎来转机
DOI：
--
复制
发表时间：
2002
影响因子：
--
通讯作者：
Aarti Gupta
中科院分区：
文献类型：
--
作者：
Aarti Gupta
2002年设计自动化会议上的“正式验证方法：绕过砖墙”小组强调了基于断言的验证在工业上的出现，以及超越当前方法的需要。主持人David Dill发起了一场关于三面砖墙的正式验证方法的讨论：处理高计算复杂性，制定要检查的属性，以及表征设计验证中的合法输入集。小组成员将转移到更高的抽象级别和基于断言的验证作为解决这些问题的两种策略。
The "formal verification method: Getting around the Brick Wall" panel at the 2002Design Automation Conference highlighted the industrial emergence of assertion-based verification and the need to go beyond current methods. Moderator David Dill initiated a discussion on the three brick walls to formal verifcation methods: handling high computational complexity, formulating properties to check, and characterizing the set of legal inputs to the design underverification. The panelists addressed moving to higher abstraction levels and assertion-based.verification as two strategies to solve these problems.