000
01464nam 2200325 450
001
CAL 010030178000
005
20140731111758.95
010
@ a978-7-121-19583-9@ b简装@ dCNY59.00
100
@ a20130419d2013 em y0chiy50 ea
101
1
@ achi@ ceng
102
@ aCN@ b110000
105
@ aa z 000yy
106
@ ar
200
1
@ a硬件设计验证：基于模拟与形式的方法@ Aying jian she ji yan zheng：ji yu mo ni yu xing shi de fang fa@ d= Hardware design verification@ esimulation and formal method-based approaches@ f(美) William K. Lam著@ g王维维译@ zeng
205
@ a第1版
210
@ a北京@ c电子工业出版社@ d2013.03
215
@ a13, 377页@ c图@ d26cm
225
2
@ a国外电子与通信教材系列@ Aguo wai dian zi yu tong xin jiao cai xi lie
306
@ a由Pearson Education (培生教育出版集团) 授权
314
@ a责任者规范汉译姓: 拉姆
320
@ a有书目 (第355-375页)
330
@ a本书全面介绍硬件系统设计验证的技术和方法, 主要涉及基于模拟和形式验证的方法, 内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。
410
0
@ 12001 @ a国外电子与通信教材系列
510
1
@ aHardware design verification@ esimulation and formal method-based approaches@ zeng
606
0
@ a硬件@ Aying jian@ x设计@ x验证
690
@ aTP303@ v5
701
1
@ a拉姆@ Ala mu@ g(Lam, William K.)@ 4著
702
0
@ a王维维@ Awang wei wei@ 4译
801
0
@ aCN@ b郑州旅游职业学院@ c20140720
905
@ aZZLYZY@ dTP303@ e18@ f5
硬件设计验证：基于模拟与形式的方法= Hardware design verification：simulation and formal method-based approaches/(美) William K. Lam著/王维维译.-第1版.-北京：电子工业出版社，2013.03 13, 377页：图；26cm.-(国外电子与通信教材系列) ISBN 978-7-121-19583-9(简装)：CNY59.00 本书全面介绍硬件系统设计验证的技术和方法, 主要涉及基于模拟和形式验证的方法, 内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
0641981
206419810
一楼密集书库B区/
[索取号:TP303/18]
在馆
架位导航
2
0641982
206419829
十四楼书库/14E12A0605/
[索取号:TP303/18]
在馆
架位导航
3
0641983
206419838
十四楼书库/14E12A0605/
[索取号:TP303/18]
在馆
架位导航
4
0641984
206419847
十四楼书库/14E12A0605/
[索取号:TP303/18]
在馆
架位导航
5
0641985
206419856
一楼密集书库B区/
[索取号:TP303/18]
在馆
架位导航
