| 词条 | 全面的功能验证：完整的工业流程 |
| 释义 | 图书信息书 名: 全面的功能验证：完整的工业流程 作 者：（美）威立 ，沈海华，乐翔 译 出版社： 机械工业出版社 出版时间： 2010-3-1 ISBN: 9787111296416 开本： 16开 定价: 98.00元 内容简介本书分为5个部分。第1部分的内容是功能验证概述，包括概念背景、验证计划、验证策略和一些基本练习。第1部分还介绍了验证周期的概念和层次化验证的概念，以及在实践中怎样将巨型设计分解为可验证的单元。第2部分和第3部分关注两个最主要的功能验证方法：基于模拟的验证方法和形式验证方法。第4部分把注意力集中在验证周期的后期阶段，包括回归测试和“逃逸”错误分析，以及一些高级的验证技术。第5部分，是一些验证实例研究的集合，进一步强调了验证周期和验证过程中的相关概念。 本书既可作为科研院所、高等工科院校计算机、电子、微电子等专业的教材或教学参考书，也可作为集成电路验证领域的工程师的技术指南或工具书。 图书目录译者序 对本书的评论 原书序 前言 第1部分 验 证 简 介 第1章 芯片设计的验证 第2章 验证流程 第3章 基于模拟的验证基础 第4章 验证计划 第2部分 基于模拟的验证 第5章 硬件描述语言和模拟引擎 第6章 创建环境 第7章 基于模拟的测试激励生成策略 第8章 基于模拟的验证中的结果检查策略 第9章 广义的功能验证 第10章 重用策略与系统模拟 第3部分 形 式 验 证 第11章 形式验证简介 第12章 形式验证的使用 第4部分 全面的验证 第13章 完成验证周期 第14章 高级验证技术 第5部分 验证实例研究 第15章 验证实例 附录 验证术语表 参考文献 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。