|
题名:
|
硬件设计验证 / (美) William K. Lam著 , 王维维译 |
|
ISBN:
|
978-7-121-19583-9 价格： CNY59.00 |
|
语种:
|
chi |
|
载体形态:
|
13, 377页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 电子工业出版社 出版日期： 2013 |
|
内容提要:
|
本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。 |
|
主题词:
|
硬件 系统设计 |
|
中图分类法:
|
TP303 版次： 5 |
|
其它题名:
|
基于模拟与形式的方法 |
|
主要责任者:
|
拉姆 著 |
|
次要责任者:
|
王维维 译 |
|
责任者附注:
|
责任者Lam规范汉译姓: 拉姆 |