芯片验证漫游指南0

本书从结构上分为四个部分,分别是:

  • 验证的通识部分(第1章至第6章): 具备不同经验的读者都可以从中获取验证世界的全貌。
    • 第1章是对芯片验证的总览;
    • 第2章从各个维度来介绍验证的策略;
    • 第3章描述目前所有的验证方法;
    • 第4章则从验证计划入手介绍如何量化验证;
    • 第5章从验证管理的角度来论述其各个要素;
    • 而第6章则作为进入下一部分(SystemVerilog语言)的准备来介绍验证环境的结构和组件。
  • SystemVerilog语言部分(第7章至第9章): 该部分不同于以往的语言类学习书籍,它的重点不在于提供完整的语法要点,而是结合贯穿于本书的设计MCDF来展开实践,带领读者思考如何利用SV的主要特性去构建一个完整的验证环境。因此,该部分是从
    • 验证环境基础要素学习(第7章)到
    • 基本组件的实现(第8章),再到最后的
    • 环境集成(第9章)。
    • 这一部分对于缺少SV语言基础的读者会有帮助,同时建议参考对照SV语言的标准手册一同学习。对于具备SV经验的读者,阅读这一部分也会帮助其梳理以往容易出错的知识点。
  • UVM验证方法学部分(第10章至第14章):通过SV语言部分的学习,读者可以利用MCDF的 SV 轻量级环境来理解验证环境的共性,包括环境的组织、构建、通信和运行。当进入到UVM部分时,建议读者逐章阅读,以此达到循序渐进的效果。
    • 第10章带领读者游览UVM世界,了解其重要的各个特性;
    • 第11章则仿照SV的学习步骤,给读者介绍UVM的各个组件和环境构成;
    • 第12章是UVM的TLM通信部分;
    • 第13章是UVM的运行部分,即介绍序列的各种用法;
    • 第14章是平行于UVM结构的部分但又不可或缺,即寄存器模型部分。
    • 从SV部分过渡到UVM部分的读者会在这部分的各章节中有似曾相似识的感觉,因为UVM的主要特性和结构已经在SV部分中有类似的实现,这种连续性有助于将SV与UVM进行特性对比和学习。
  • 高级应用部分(第15章至第18章): 该部分结合了实际项目和验证潮流,对中高级验证工程师有启示作用。我也希望读者可以从这些部分了解到,语言和方法学是验证的技能基础,但要解决项目的实际需求、提高整体的验证效率和一致性、实现跨平台、跨研发部分的验证平台,还需要做出更多的定制化解决方案。而对于目前还没有令人满意的解决方案的验证难题,我们还需要时间去构想推动新的验证方法和工具。
    • 第15章给出了如何实现验证平台自动化和测试标准化的方案,适用于大中型公司的验证效率提升;
    • 第16章着眼于目前在标准制定过程中的便携激励标准,介绍了已有的便携激励工具和跨平台的验证结构;
    • 第17章针对SV与UVM同其他语言的接口给予实践指导;
    • 第18章则将一些分散的高级话题给出行业的解决方案。读者可以将这一部分作为工作的指导手册,在将来遇到相关问题时参考。
  • 尽管试图给出动态验证的全貌,但我也不得不遗憾地指出,几个重要内容暂未在本书首版中囊括,包括:从验证计划到功能覆盖率的量化手段和标准,功能覆盖率驱动的智能化收敛验证,断言的应用场景和复用实践,验证IP的开发模式和推广等,未尽的地方只能寄希望于在下一版中补缺,而在那时,验证世界风起云涌,又将出现什么新的技术还未尽可知,且让我们拭目以待吧。
作者

Gavin

发布于

2022-05-06

更新于

2022-05-06

许可协议

CC BY-NC-SA 4.0

Your browser is out-of-date!

Update your browser to view this website correctly.&npsb;Update my browser now

×