机读格式显示(MARC)

• 000 01762cam 2200409 450

• 001 0000684225

• 005 20101025145900.0

• 010 __ |a 978-7-111-29641-6 |d CNY98.00

• 099 __ |a CAL 012010065090

• 100 __ |a 20100420d2010 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 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.合作出版

• 312 __ |a 英文题名取自封面

• 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 |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 设计

• 690 __ |a TN402 |v 4

• 701 _1 |a 怀尔 |A huai er |g (Wile, Bruce) |4 著

• 701 _1 |a 戈斯 |A ge si |g (Goss, John C.) |4 著

• 701 _1 |a 勒斯纳 |A le 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 ZJU |c 20100420

• 801 _2 |a CN |b TSU |c 20100507

• 905 __ |a JHUD |d TN402/40

• 920 __ |a 242450 |z 1