芯片验证体系

置顶谷公子的藏经阁

已于 2023-06-07 10:28:55 修改

阅读量4.1k

点赞数 4

分类专栏：芯片验证文章标签：芯片验证 UVM Systemverilog 脚本工具

于 2022-05-02 16:02:22 首次发布

本文链接：https://blog.youkuaiyun.com/W1Z1Q/article/details/124538721

版权

芯片验证专栏收录该内容

30 篇文章

订阅专栏

最近做了一些项目，也看了一些技术类和验证理论类的书籍，想写blog来梳理下思路。一方面可以检查自己的知识体系，明确接下来学习的方向；另一方面有个地方记录，也方便自己以后复习和反思。当然，这篇文章是high-level的overview，我会分成几篇blog来写，每篇blog都有一个主题，并把它们的超链接放在这里。也就是，这篇blog就是目录作用，读者可以点击对应的链接跳转到相应的主题。
活到老，学到老，本系列blog会在个人职业生涯持续更新完善下去的~
之所以需要验证，是因为在一个过程中出现转换，比如从Requirement spec文档到RTL code的转换，从RTL到门级网表的转换，门级网表到硅片的转换。任何人为参与的转换过程都有不确定性和不可重复性，只要一个转换不是完全端到端的自动执行，就可能存在问题。要减少人为干预错误的办法，有几种常用的办法：1.自动化，可以使用机器自动化处理的地方尽可能使用，比如使用script和Tools。2.规范流程，将人为干预的动作转换为简单的步骤、标准化和预先定义好的流程。3.冗余，冗余要求每一次转换都必须双倍，比如在设计工程师和验证工程师都要基于对Requirements spec的理解，然后开发code，最后在reconvergent点比较两者是否一致，也就是两份结果互相印证。很明显，从Requirements spec文档语言自动转换为RTL code目前还是很难达到的，那就需要冗余去保证Requirement spec文档到RTL code的转换。
Reconvergence model