机读格式显示(MARC)
- 000 01746oam2 2200433 450
- 010 __ |a 978-7-111-29641-6 |d CNY98.00
- 100 __ |a 20100415d2010 em y0chiy0110 ea
- 200 1_ |a 全面的功能验证 |9 quan mian di gong neng yan zheng : wan zheng de gong ye liu cheng |e 完整的工业流程 |f (美)Bruce Wile,(美)John C. Goss,(美)Wolfgang Roesner著 |g 沈海华,乐翔译
- 210 __ |a 北京 |c 机械工业出版社 |d 2010
- 215 __ |a 21,487页 |c 图 |d 24cm
- 306 __ |a 由机械工业出版社与Elsevier(Singapore) Pte Ltd.合作出版
- 312 __ |a 封面英文原题名:Comprehensive functional verification: the complete industry cycle
- 330 __ |a 本书介绍了验证周期的概念和层次化验证的概念,以及在实践中怎样将巨型设计分解为可验证的单元,关注了基于模拟的验证方法和形式验证方法。研究了回归测试和“逃逸”错误分析等。
- 461 _0 |1 001003483597 |1 2001 |a 国际信息工程先进技术译丛
- 510 1_ |a Comprehensive functional verification |e the complete industry cycle |z eng
- 517 1_ |a 完整的工业流程 |9 wan zheng de gong ye liu cheng
- 606 0_ |a 集成电路 |x 芯片 |x 设计
- 701 _0 |c (美) |a 怀尔 |9 huai er |c (Wile, Bruce) |4 著
- 701 _0 |c (美) |a 戈斯 |9 ge si |c (Goss, John C.) |4 著
- 701 _0 |c (美) |a 勒斯纳 |9 le si na |c (Roesner, Wolfgang) |4 著
- 702 _0 |a 沈海华 |9 shen hai hua |c (女) |4 译
- 702 _0 |a 乐翔 |9 le xiang |4 译
- 801 _0 |a CN |b NLC |c 20100520
- 801 _2 |a CN |b LIY |c 20101123
- 905 __ |a SYXY |d TN402/7
- 907 __ |d TN402 |a SYXY |y 2010 |h |f A802 |r CNY98.00 |e 7