|
000
|
01263nam0 2200301 450
|
|
001
|
1145755971
|
|
005
|
20110526124349.20
|
|
010
|
|
@a978-7-111-31373-1@dCNY36.00
|
|
100
|
|
@a20101203d2010 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@ay z 001yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@aSystemVerilog与功能验证@ASystemVerilog yu gong neng yan zheng@b专著@dThe art of verification with system verilog@f钟文枫编著@zeng
|
|
210
|
|
@a北京@c机械工业出版社@d2010.08
|
|
215
|
|
@a10,209页@d26cm
|
|
330
|
|
@a本书重点介绍硬件设计描述和验证语言SystemVerilog的基本语法及其在功能验证上的应用；书中以功能验证为主线，讲述基本的验证流程、高级验证技术和验证方法学，以SystemVerilog为基础结合石头、剪刀、布的应用实例，重点阐述了如何采用SystemVerilog实现随机激励生成、功能覆盖率驱动验证、断言验证等多种高级验证技术；最后，通过业界流行的开放式验证方法学OVM介绍如何在验证平台中实现可重用性。
|
|
510
|
1
|
@aArt of verification with system verilog@zeng
|
|
606
|
0
|
@a硬件描述语言@x程序设计
|
|
606
|
0
|
@a程序设计
|
|
606
|
0
|
@a硬件描述语言
|
|
606
|
0
|
@a软件
|
|
610
|
0
|
@aSystemVerilog
|
|
690
|
|
@aTP312VH@v4
|
|
690
|
|
@aTP312@v4
|
|
701
|
0
|
@a钟文枫@Azhong wen feng@4编著
|
|
801
|
0
|
@bHNYZ@c20110526
|
|
905
|
|
@a10447@dTP312@e50
|
|
|
|
|
| |
| SystemVerilog与功能验证=The art of verification with system verilog/钟文枫编著.-北京：机械工业出版社，2010.08 |
| 10,209页；26cm |
| |
| |
| ISBN 978-7-111-31373-1：CNY36.00 |
| 本书重点介绍硬件设计描述和验证语言SystemVerilog的基本语法及其在功能验证上的应用；书中以功能验证为主线，讲述基本的验证流程、高级验证技术和验证方法学，以SystemVerilog为基础结合石头、剪刀、布的应用实例，重点阐述了如何采用SystemVerilog实现随机激励生成、功能覆盖率驱动验证、断言验证等多种高级验证技术；最后，通过业界流行的开放式验证方法学OVM介绍如何在验证平台中实现可重用性。 |
| ● |
正题名：SystemVerilog与功能验证
索取号：TP312/50
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
506812
|
202477767
|
一楼综合书库/
[索取号:TP312/50]
|
在馆
|
架位导航
|
|
2
|
506813
|
202477768
|
文艺社科书库/
[索取号:TP312/50]
|
在馆
|
架位导航
|
|
3
|
506814
|
202477769
|
文艺社科书库/
[索取号:TP312/50]
|
在馆
|
架位导航
|
|
4
|
506815
|
202477770
|
文艺社科书库/
[索取号:TP312/50]
|
在馆
|
架位导航
|
|
5
|
506816
|
202477771
|
一楼综合书库/
[索取号:TP312/50]
|
在馆
|
架位导航
|
