机读格式显示(MARC)

• 000 01301cam0 2200361 450

• 001 0000668134

• 005 20091022161100.0

• 010 __ |a 978-7-03-025306-4 |d CNY55.00

• 099 __ |a CAL 012009135320

• 100 __ |a 20090909d2009 ekmy0chiy0121 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak z 000yy

• 106 __ |a r

• 200 1_ |a SystemVerilog验证 |A SystemVerilog yan zheng |e 测试平台编写指南 |f (美) 克里斯·斯皮尔著 |g 张春, 麦宋平, 赵益新译

• 210 __ |a 北京 |c 科学出版社 |d 2009

• 215 __ |a xx, 365页 |c 图 |d 24cm

• 305 __ |a 据原书2008年第2版译出

• 312 __ |a 英文并列题名取自书中

• 330 __ |a 本书讲解了SystemVerilog语言的工作原理，介绍了类、随机化和功能覆盖率等测试手段和概念，并且在创建测试平台方面提供了很多引导性的建议。

• 500 10 |a SystemVerilog for verification |m Chinese

• 517 1_ |a 测试平台编写指南 |A ce shi ping tai bian xie zhi nan

• 606 0_ |a 数字电路 |A shu zi dian lu |x 计算机辅助设计 |x 硬件描述语言, SVA

• 610 0_ |a SVA |A Sva

• 690 __ |a TN790.2 |v 4

• 701 _1 |a 斯皮尔 |A si pi er |g (Spear, Chris) |4 著

• 702 _0 |a 张春 |A zhang chun |4 译

• 702 _0 |a 麦宋平 |A mai song ping |4 译

• 702 _0 |a 赵益新 |A zhao yi xin |4 译

• 801 _0 |a CN |b 北京图书大厦有限责任公司 |c 20090909

• 801 _2 |a CN |b PUL |c 20091013

• 905 __ |a JHUD |d TN790.2/22

• 920 __ |a 242450 |z 1