芯片eda实战：新一代芯片验证语言eagle和pvm验证台 电子、电工 易敏 新华正版

图书标准信息

• 作者 易敏
• 出版社 机械工业出版社
• 出版时间 2024-07
• 版次 1
• ISBN 9787111754909
• 定价 139.00元
• 装帧 平装
• 开本 32开
• 页数 832页
• 字数 636千字

【内容简介】

本书从芯片验证的目的出发，完善了功能覆盖率的定义，阐述了新的随机测试方法，即“功能覆盖率直接驱动的随机测试方法”，以及一种新的验证语言EagleLang，即Eagle语言。该编程语言具有类似脚本语言的简洁语法，专用于芯片验证，也可以用于文本处理、数学计算、多线程编程等应用领域。该语言的编译执行具有接近C++语言的效率，eagle是该语言的编译器工具。芯片仿真验证效率是影响芯片项目周期的主要因素，本书提出了新一代的验证方法学PVM（Parallel Verification Methodology），采用多核并行技术搭建的PVM验证平台，具有执行效率高的特点，可以有效实现芯片仿真验证加速。另外，在PVM验证平台中采用工厂模式和动态编程技术，可以实现验证组件、测试用例的动态生成，减少验证平台、测试用例的编译时间。本书主要适合芯片验证工程师、芯片驱动软件开发工程师、芯片系统建模工程师、芯片设计工程师阅读。本书也可以作为从事芯片EDA工具开发的软件工程师、编译器开发软件工程师的参考书籍。本书还可以作为高校师生了解芯片设计与验证技术的参考书籍。

【目录】

前言

第一篇验证方法学基础

第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验证分层

……