书目详细信息
： 硬件设计验证:基于模拟与形式的方法
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-121-19583-9:CNY59.00 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 硬件设计验证/.(美)William K. Lam著/.王维维译 |
| 出版发行项： | 北京:,电子工业出版社:,2013 |
| 载体形态项： | 13,377页:;+26cm |
| 一般附注： | 国外电子与通信教材系列 |
| 提要文摘： | 本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。 |
| 并列题名： | Hardware design verification eng |
| 题名主题： | 硬件 验证 教材 |
| 中图分类： | TP303 |
| 个人名称等同： | 拉姆 (美) (Lam, William K.) 著 |
| 个人名称次要： | 王维维 译 |
| 记录来源： | CN TSG 20131225 |