![]() |
名称 | 全面的功能验证 : 完整的工业流程 |
| 索引号 | TN402/20106 | |
| 分类号 | TN402 TN402(设计) TN40(一般性问题) TN4(微电子学、集成电路(IC)) TN(无线电电子学、电信技术) T(工业技术) |
|
| 作者 | 怀尔、戈斯、勒斯纳、沈海华、乐翔、 | |
| 出版社 | 北京 : 机械工业出版社, 2010 | |
| ISBN | 978-7-111-29641-6 | |
| 页数 | xxi, 487页 : 图 ; 24cm | |
| 价格 | CNY98.00 | |
| 标签 | 功能验证、ic、verification,、工业流程、工作学习、测试、 | |
| 简介 | ||
| 注解 | 由机械工业出版社与Elsevier(Singapore)Pte Ltd.合作出版 英文题名取自封面 责任者Wile、Goss和Roesner规范汉译姓: 怀尔, 戈斯, 勒斯纳 有书目 (第482-487页) 本书分为5个部分。第1部分是功能验证概述;第2部分和第3部分关注两个最主要的功能验证方法:基于模拟的验证方法和形式验证方法;第4部分把注意力集中在验证周期的后期阶段;第5部分,是一些验证实例研究的集合。 | |
书籍简介
《全面的功能验证:完整的工业流程》分为5个部分。第1部分的内容是功能验证概述,包括概念背景、验证计划、验证策略和一些基本练习。第1部分还介绍了验证周期的概念和层次化验证的概念,以及在实践中怎样将巨型设计分解为可验证的单元。第2部分和第3部分关注两个最主要的功能验证方法:基于模拟的验证方法和形式验证方法。第4部分把注意力集中在验证周期的后期阶段,包括回归测试和“逃逸”错误分析,以及一些高级的验证技术。第5部分,是一些验证实例研究的集合,进一步强调了验证周期和验证过程中的相关概念。
《全面的功能验证:完整的工业流程》既可作为科研院所、高等工科院校计算机、电子、微电子等专业的教材或教学参考书,也可作为集成电路验证领域的工程师的技术指南或工具书。











粤公网安备 44030602003680号