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