|
000
|
01037 nam 000289
|
|
001
|
0100018615
|
|
010
|
|
@a7-111-19502-7@dCNY45.00
|
|
100
|
|
@a20111212d2010 em y0chiy0121 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@ay z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a硬件设计验证@Aying jian she ji yan zheng@e基于模拟与形式的方法@f(美)拉姆著@F( mei ) la mu zhu@g王维维@Gwang wei wei
|
|
210
|
|
@a北京@c机械工业出版社@d2007.01
|
|
215
|
|
@a359页@d26cm
|
|
225
|
|
@a电子与电气工程丛书
|
|
330
|
|
@a本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。
|
|
410
|
0
|
@12001 @a电子与电气工程丛书
|
|
517
|
1
|
@a基于模拟与形式的方法
|
|
540
|
|
@a硬件设计验证
|
|
606
|
0
|
@a计算技术
|
|
690
|
|
@aTP303@v4
|
|
701
|
0
|
@a拉姆@Ala mu@4著
|
|
702
|
|
@a王维维@Awang wei wei
|
|
801
|
0
|
@aCN@bDYGS@c20101115
|
|
901
|
|
@a211124
|
|
905
|
|
@b1071812-4@dTP303@eL009@f3
|
|
|
|
|
| |
| 硬件设计验证：基于模拟与形式的方法/(美)拉姆著/王维维.-北京：机械工业出版社，2007.01 |
| 359页；26cm.-(电子与电气工程丛书) |
| |
| |
| ISBN 7-111-19502-7：CNY45.00 |
| 本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。 |
| ● |
正题名：硬件设计验证
索取号：TP303/L009
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1071812
|
210718124
|
自科二线404/404自科库 16排5列1层/
[索取号:TP303/L009]
|
在馆
|
|
|
2
|
1071813
|
210718133
|
自科库301/301自科库 75排2列4层/
[索取号:TP303/L009]
|
在馆
|
|
|
3
|
1071814
|
210718142
|
自科库301/301自科库 75排2列4层/
[索取号:TP303/L009]
|
在馆
|
|
