机读格式显示(MARC)
- 010 __ |a 978-7-111-29641-6 |d CNY98.00
- 100 __ |a 20100420d2010 em y0chiy0121 ea
- 200 1_ |a 全面的功能验证 |A quan mian de gong neng yan zheng |e 完整的工业流程 |f (美) Bruce Wile, John C. Goss, Wolfgang Roesner著 |g 沈海华, 乐翔译
- 210 __ |a 北京 |c 机械工业出版社 |d 2010
- 215 __ |a xxi, 487页 |c 图 |d 24cm
- 225 2_ |a 国际信息工程先进技术译丛 |A guo ji xin xi gong cheng xian jin ji shu yi cong
- 306 __ |a 由机械工业出版社与Elsevier (Singapore) Pte Ltd. 合作出版
- 314 __ |a 责任者Wile规范汉译姓: 威立; 责任者Goss规范汉译姓: 戈斯; 责任者Roesner规范汉译姓: 罗斯那
- 320 __ |a 有书目 (第 [482] -487页)
- 330 __ |a 本书分为5个部分。第1部分是功能验证概述;第2部分和第3部分关注两个最主要的功能验证方法:基于模拟的验证方法和形式验证方法;第4部分把注意力集中在验证周期的后期阶段;第5部分,是一些验证实例研究的集合。
- 410 _0 |1 2001 |a 国际信息工程先进技术译丛
- 500 10 |a Comprehensive functional verification : the complete industry cycle |m Chinese
- 517 1_ |a 完整的工业流程 |A wan zheng de gong ye liu cheng
- 606 0_ |a 集成电路 |A ji cheng dian lu |x 芯片 |x 设计
- 701 _1 |a 威立 |A wei li |g (Wile, Bruce) |4 著
- 701 _1 |a 戈斯 |A ge si |g (Goss, John C.) |4 著
- 701 _1 |a 罗斯那 |A luo si na |g (Roesner, Wolfgang) |4 著
- 702 _0 |a 沈海华 |A shen hai hua |4 译
- 702 _0 |a 乐翔 |A le xiang |4 译
- 801 _0 |a CN |b HDUL |c 20101125
- 905 __ |a HDUL |d TN402/500