消息首页搜索举报

芯片EDA实战新一代芯片验证语言Fage和PVM验证平台

全新正版假一赔十可开发票

98.91 7.1折 139 全新

库存9件

北京东城

认证卖家担保交易快速发货售后保障

作者易敏著

出版社机械工业出版社

ISBN9787111754909

出版时间2024-07

装帧平装

开本32开

定价139元

货号1203334070

上书时间2024-11-21

轻阅书店

三年老店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 8小时
好评率暂无

最新上架

架构真意企业级应用架构设计方法论与实践 ¥70.43

弦乐四重奏小品集9（总谱+分谱+钢琴伴奏谱） ¥89.67

家庭养花小百科第2版 ¥15.07

环境影响评价（第四版） ¥35.23

古村镇景观设计特征与文化传承研究——以广西为例 ¥61.24

全球视野下的古罗马诗人奥维德研究前沿（上卷） ¥53.75

绝妙好文(文言名篇讲析) ¥26.37

市民健康生活处方 ¥64.27

CKA/CKAD应试指南从Docker到Kubernetes完全攻略 ¥68.26

商品详情

品相描述：全新

商品描述: 目录
前言

第一篇验证方法学基础

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

……

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

主编推荐
本书从芯片验证的目的出发，完善了功能覆盖率的定义，阐述了新的随机测试方法，即“功能覆盖率直接驱动的随机测试方法”，以及一种新的验证语言EagleLang，即Eagle语言。该编程语言具有类似脚本语言的简洁语法，专用于芯片验证，也可以用于文本处理、数学计算、多线程编程等应用领域。该语言的编译执行具有接近C++语言的效率，eagle是该语言的编译器工具。