机读格式显示(MARC)

• 000 01497nam2 2200337 4500

• 000 0000229158

• 001 0000150691

• 005 20101224113351.0

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

• 035 __ |a (A210000LPL)012004515295

• 049 __ |a A210000LPL |b UCS01004489668 |c 012004515295

• 100 __ |a 20101224d2010 em y0chiy0110 ea

• 101 0_ |a chi |a eng

• 102 __ |a CN |b 110000

• 105 __ |a a z 001yy

• 106 __ |a r

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

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

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

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

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

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

• 610 0_ |a SystemVerilog语言 |A SystemVerilogyuyan

• 690 __ |a TP312VH |v 4

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

• 801 _0 |a CN |b 110017 |c 20101112

• 801 _2 |a CN |b 261060 |c 20101224

• 905 __ |a XATU |d TP312VH/32

• 991 __012010006404

• 995 __ |a 261060 |f TP312VH/32

• 999 __ |t C |A zhouqin |a 20101224 11:32:49 |I zhouqin |i 20101224 11:33:5