MARC状态：审校 文献类型：中文图书 浏览次数：9
- 题名/责任者:
- 硬件设计验证:基于模拟与形式的方法/(美)William K. Lam著 王维维译
- 出版发行项:
- 北京:机械工业出版社,2007
- ISBN及定价:
- 7-111-19502-7/CNY45.00
- 载体形态项:
- 12,359页;26cm
- 并列正题名:
- Hardware design verification:simulation and formal method-based approaches
- 丛编项:
- 电子与电气工程丛书
- 个人责任者:
- (美) 拉姆 (Lam, William K.) 著
- 个人次要责任者:
- 王维维 译
- 学科主题:
- 硬件-设计-验证
- 学科主题:
- 硬件
- 中图法分类号:
- TP303
- 提要文摘附注:
- 本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 | 还书位置 |
| TP303/73 | S3753673 | 总馆—综合书库A（龙湖） | 可借 | 综合书库A（龙湖） | |
| TP303/73 | S554029 | 总馆—自然书库（凤阳） | 可借 | ||
| TP303/73 | S554030 | 总馆—自然书库（凤阳） | 可借 | ||
| TP303/73 | S554031 | 总馆—自然书库（凤阳） | 可借 | ||
| TP303/73 | S554032 | 总馆—自然书库（凤阳） | 可借 |
显示全部馆藏信息