机读格式显示(MARC)

• 000 01475nam2 2200337 4500

• 000 0000263079

• 001 0000211759

• 005 20110520182702.0

• 010 __ |a 978-7-111-31373-1 |d CNY36.00

• 100 __ |a 20110520d2010 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a SystemVerilog与功能验证 |9 SystemVerilog yu gong neng yan zheng |d The art of verification with system verilog |f 钟文枫编著 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2010

• 215 __ |a 12,209页 |d 26cm

• 330 __ |a 本书重点介绍硬件设计描述和验证语言SystemVerilog的基本语法及其在功能验证上的应用；书中以功能验证为主线，讲述基本的验证流程、高级验证技术和验证方法学，以SystemVerilog为基础结合石头、剪刀、布的应用实例，重点阐述了如何采用SystemVerilog实现随机激励生成、功能覆盖率驱动验证、断言验证等多种高级验证技术；最后，通过业界流行的开放式验证方法学OVM介绍如何在验证平台中实现可重用性。

• 510 1_ |a Art of verification with system verilog |z eng

• 606 0_ |a 硬件描述语言 |x 程序设计

• 610 0_ |a SystemVerilog语言

• 690 __ |a TP312VH |v 4

• 701 _0 |a 钟文枫 |9 zhong wen feng |4 编著

• 801 _0 |a CN |b |c 20110520

• 905 __ |a DQNU |d TP312VH/Z77

• 909 __ |a 00919384 |b 平装 |f TP312VH/Z77 |x ZRKX |e 001 |j 01

• 909 __ |a 00919382 |b 平装 |f TP312VH/Z77 |x YBS |e 001 |j 01

• 909 __ |a 00919383 |b 平装 |f TP312VH/Z77 |x ZRKX |e 001 |j 01

• 991 __

• 995 __ |a DQNU |b 00919382-84 |f TP312VH/Z77 |s 3

• 999 __ |t C |A shsd1 |a 20110519 10:29:18 |M shsd1 |m 20110520 18:27:0