机读格式显示(MARC)

• 000 01415nam0 2200313 450

• 001 0000350566

• 005 20110228100523.0

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

• 100 __ |a 20101021d2010 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

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

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

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

• 314 __ |a 钟文枫，目前在某EDA公司任亚太区客户支持部门验证产品技术主管。

• 320 __ |a 有书目 (第[207]页)

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

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

• 606 0_ |a 硬件描述语言 |A ying jian miao shu yu yan |x 程序设计

• 690 __ |a TP312 |v 4

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

• 801 _0 |a CN |b SCNU |c 20110228

• 905 __ |a SCNU |f TP312/8504/ 1

• 999 __ |M luol |m 20110228 10:05:23 |G luol |g 20110228 11:55:40

• 000 0000430073

• 991 __ |a 012011000025

• 907 __ |a SCNU |f TP312/8504/ 1