MARC状态:审校 文献类型:中文图书 浏览次数:29
- 题名/责任者:
- 全面的功能验证:完整的工业流程/(美) Bruce Wile, John C. Goss, Wolfgang Roesner著 沈海华, 乐翔译
- 出版发行项:
- 北京:机械工业出版社,2010
- ISBN及定价:
- 978-7-111-29641-6/CNY98.00
- 载体形态项:
- xxi, 487页:图;24cm
- 其它题名:
- 完整的工业流程
- 丛编项:
- 国际信息工程先进技术译丛
- 个人责任者:
- 威立 (Wile, Bruce) 著
- 个人责任者:
- 戈斯 (Goss, John C.) 著
- 个人责任者:
- 罗斯那 (Roesner, Wolfgang) 著
- 个人次要责任者:
- 沈海华 译
- 个人次要责任者:
- 乐翔 译
- 学科主题:
- 集成电路-芯片-设计
- 中图法分类号:
- TN402
- 出版发行附注:
- 由机械工业出版社与Elsevier (Singapore) Pte Ltd. 合作出版
- 相关题名附注:
- 英文题名取自封面
- 责任者附注:
- 责任者Wile规范汉译姓: 威立; 责任者Goss规范汉译姓: 戈斯; 责任者Roesner规范汉译姓: 罗斯那
- 书目附注:
- 有书目 (第 [482] -487页)
- 提要文摘附注:
- 本书分为5个部分。第1部分是功能验证概述;第2部分和第3部分关注两个最主要的功能验证方法:基于模拟的验证方法和形式验证方法;第4部分把注意力集中在验证周期的后期阶段;第5部分,是一些验证实例研究的集合。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TN402/500 | 71577840 | - | ![]() |
可借 | |
TN402/500 | 71577841 | - | ![]() |
可借 | |
TN402/500 | 71577842 | - | ![]() |
可借 | |
TN402/500 | 71577843 | - | ![]() |
可借 | 现代技术部(1F) |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到: 管理书架