|
题名:
|
硬件设计验证 ying jian she ji yan zheng / (美)William K. Lam著 , 王维维译 |
|
ISBN:
|
7-111-19502-7 价格： CNY45.00 |
|
语种:
|
chi |
|
载体形态:
|
12,359页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2007 |
|
内容提要:
|
本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。 |
|
主题词:
|
硬件 设计 |
|
主题词:
|
硬件 |
|
中图分类法:
|
TP303 版次： 4 |
|
主要责任者:
|
拉姆 la mu 著 |
|
次要责任者:
|
王维维 wang wei wei 译 |
|
索书号:
|
1 |