- 芯片EDA实战(新一代芯片验证语言Eagle和PVM验证平台)
- - 作者：易敏|责编:张淑谦//王海霞
  - 出版社：机械工业
  - ISBN：9787111754909
  - 出版日期：2024/07/01
  - 页数：403
- 售价：55.6

内容大纲
    本书从芯片验证的目的出发，完善了功能覆盖率的定义，阐述了新的随机测试方法，即“功能覆盖率直接驱动的随机测试方法”，以及一种新的验证语言EagleLang，即Eagle语言。该编程语言具有类似脚本语言的简洁语法，专用于芯片验证，也可以用于文本处理、数学计算、多线程编程等应用领域。该语言的编译执行具有接近C＋＋语言的效率，eagle是该语言的编译器工具。
    芯片仿真验证效率是影响芯片项目周期的主要因素，本书提出了新一代的验证方法学PVM（Parallel Verification Methodology），采用多核并行技术搭建的PvM验证平台，具有执行效率高的特点，可以有效实现芯片仿真验证加速。另外，在PvM验证平台中采用工厂模式和动态编程技术，可以实现验证组件、测试用例的动态生成，减少验证平台、测试用例的编译时间。
    本书主要适合芯片验证工程师、芯片驱动软件丌发工程师、芯片系统建模工程师、芯片设计工程师阅读。本书也可以作为从事芯片EDA工具开发的软件工程师、编译器开发软件工程师的参考书籍。本书还可以作为高校师生了解芯片设计与验证技术的参考书籍。
作者介绍
易敏，毕业于武汉测绘科技大学电子工程系，2000-2018年就职于某知名通信公司及其芯片设计公司，一直从事芯片相关的研发工作。2022年创办济南新语软件科技有限公司，从事芯片EDA研发工作，发明了Eagle编程语言和PVM验证平台。
目录
前言
第一篇  验证方法学基础芯片验证目的
  第1章  芯片验证目的
    1.1  芯片验证与芯片质量
    1.2  芯片验证质量度量方法
      1.2.1  代码覆盖率
      1.2.2  断言覆盖率
      1.2.3  功能覆盖率
      1.2.4  覆盖率度量方法比较
    1.3  功能覆盖率
      1.3.1  验证目标定义
      1.3.2  芯片系统模型
      1.3.3  激励数据模型
      1.3.4  功能覆盖率定义
      1.3.5  交叉组合功能覆盖率
      1.3.6  顺序组合功能覆盖率
      1.3.7  功能覆盖率直接驱动的随机验证
  第2章  芯片验证方法
    2.1  仿真验证方法
      2.1.1  芯片验证方法演进
      2.1.2  验证效率成本问题
      2.1.3  测试和验证的概念辨析
    2.2  验证效率提升
      2.2.1  当前存在的效率问题
      2.2.2  编程效率和编译效率提升
      2.2.3  仿真执行效率提升
    2.3  芯片验证流程管理
      2.3.1  芯片项目阶段划分
      2.3.2  验证分层
      2.3.3  全面度量管理
      2.3.4  验证技术手段
      2.3.5  仿真验证技术发展思考
  ……
第二篇  Eagle编程语言
第三篇  PVM和DVM验证平台
第四篇  PVM验证平台配套工具
附录A  术语

内容大纲

作者介绍

目录

同类热销排行榜

推荐书目