全面的功能验证:完整的工业流程
￥ 141 ￥ 98 九五品
仅1件
作者(美)威立 等著,沈海华,乐翔 译
出版社机械工业出版社
ISBN9787111296416
出版时间2010-03
版次1
装帧平装
开本16开
纸张胶版纸
页数487页
字数99999千字
定价98元
上书时间2024-03-20
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:全面的功能验证:完整的工业流程
定价：98.00元
作者:(美)威立 等著,沈海华,乐翔 译
出版社：机械工业出版社
出版日期：2010-03-01
ISBN：9787111296416
字数：702000
页码：487
版次：1
装帧：平装
开本：16开
商品重量：
编辑推荐
点击查看：
内容提要
本书分为5个部分。部分的内容是功能验证概述，包括概念背景、验证计划、验证策略和一些基本练习。部分还介绍了验证周期的概念和层次化验证的概念，以及在实践中怎样将巨型设计分解为可验证的单元。第2部分和第3部分关注两个主要的功能验证方法：基于模拟的验证方法和形式验证方法。第4部分把注意力集中在验证周期的后期阶段，包括回归测试和“逃逸”错误分析，以及一些高级的验证技术。第5部分，是一些验证实例研究的集合，进一步强调了验证周期和验证过程中的相关概念。 本书既可作为科研院所、高等工科院校计算机、电子、微电子等专业的教材或教学参考书，也可作为集成电路验证领域的工程师的技术指南或工具书。
目录
译者序 对本书的评论 原书序 前言 部分 验 证 简 介 章 芯片设计的验证 第2章 验证流程 第3章 基于模拟的验证基础 第4章 验证计划第2部分 基于模拟的验证 第5章 硬件描述语言和模拟引擎 第6章 创建环境 第7章 基于模拟的测试激励生成策略 第8章 基于模拟的验证中的结果检查策略 第9章 广义的功能验证 0章 重用策略与系统模拟第3部分 形 式 验 证 1章 形式验证简介 2章 形式验证的使用第4部分 全面的验证 3章 完成验证周期 4章 高级验证技术第5部分 验证实例研究 5章 验证实例附录 验证术语表参考文献
作者介绍
序言
-
【封面】
相关推荐
-
全面的功能验证：完整的工业流程
八五品北京
￥ 80.00
-
全面的功能验证：完整的工业流程
八五品北京
￥ 100.00
-
全面的功能验证：完整的工业流程
九品濮阳市
￥ 120.00
-
全面的功能验证：完整的工业流程
九品北京
￥ 135.00
-
全面的功能验证：完整的工业流程
八五品西安
￥ 179.00
-
全面的功能验证：完整的工业流程
九品郑州
￥ 120.00
-
全面的功能验证：完整的工业流程
九品厦门
￥ 145.00
-
全面的功能验证：完整的工业流程
九品中山
￥ 110.00
-
全面的功能验证:完整的工业流程
九五品南京
￥ 141.00
-
待拍图6，9787111296416 全面的功能验证
九五品广州
￥ 117.00
— 没有更多了 —
以下为对购买帮助不大的评价