Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial)
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial)
复制标题
基于断言的验证：行业神话到现实（特邀教程）
DOI：
10.1007/978-3-540-70545-1_3
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
H. Foster
中科院分区：
文献类型：
--
作者：
H. Foster
平均而言，ASIC已经发展到消耗当今ASIC和SoC验证工作的60%以上。显然，这是行业必须解决的问题，一些组织已经这样做了。那些采用基于断言的验证（ABV）方法的人已经看到了由于改进的可观察性而显着减少的仿真调试时间（多达50% [1]）。此外，采用ABV方法的组织能够利用更先进的验证技术，例如正式验证，从而提高其整体验证质量和结果。尽管如此，即使有来自各种早期采用者的多个已发布的行业案例研究-每个都在宣传应用ABV的好处-整个行业都拒绝采用基于断言的技术。本教程提供了一个行业调查今天的ABV景观，从神话到现实。新出现的挑战和可能的研究机会进行了讨论。下面的扩展摘要提供了本教程的参考。
Debugging, on average, has grown to consume more than 60% of today's ASIC and SoC verification effort. Clearly, this is a topic the industry must address, and some organizations have done just that. Those that have adopted an assertion-based verification (ABV) methodology have seen significant reduction in simulation debugging time (as much as 50% [1]) due to improved observability. Furthermore, organizations that have embraced an ABV methodology are able to take advantage of more advanced verification techniques, such as formal verification, thus improving their overall verification quality and results. Nonetheless, even with multiple published industry case studies from various early adopters--each touting the benefits of applying ABV--the industry as a whole has resisted adopting assertion-based techniques. This tutorial provides an industry survey of today's ABV landscape, ranging from myths to realities. Emerging challenges and possible research opportunities are discussed. The following extended abstract provides a reference on which the tutorial builds.