《全面的功能验证:完整的工业流程》分为5个部分。第1部分的内容是功能验证概述，包括概念背景、验证计划、验证策略和一些基本练习。第1部分还介绍了验证周期的概念和层次化验证的概念，以及在实践中怎样将巨型设计分解为可验证的单元。第2部分和第3部分关注两个最主要的功能验证方法：基于模拟的验证方法和形式验证方法。第4部分把注意力集中在验证周期的后期阶段，包括回归测试和“逃逸”错误分析，以及一些高级的验证技术。第5部分，是一些验证实例研究的集合，进一步强调了验证周期和验证过程中的相关概念。
《全面的功能验证:完整的工业流程》既可作为科研院所、高等工科院校计算机、电子、微电子等专业的教材或教学参考书，也可作为集成电路验证领域的工程师的技术指南或工具书。
全面的功能验证：完整的工业流程
- 类 型：自动化书籍
- 出 版 社：机械工业出版社
- 主 编：沈海华 乐翔
- 出 版 期：2014-05-23
- 尺 寸：23.4 x 16.8 x 1.8 cm
- ＩＳＢＮ：9787111296416
- 页 数：487页
- 价 格：98元
——本信息仅供您参考
