MARC状态：审校 文献类型：中文图书 浏览次数：12
- 题名/责任者:
- 硬件设计验证:基于模拟与形式的方法/(美) William K. Lam著 王维维译
- 出版发行项:
- 北京:电子工业出版社,2013
- ISBN及定价:
- 978-7-121-19583-9/CNY59.00
- 载体形态项:
- 13, 377页:图;26cm
- 其它题名:
- 基于模拟与形式的方法
- 丛编项:
- 国外电子与通信教材系列
- 个人责任者:
- 拉姆 (Lam, William K.) 著
- 个人次要责任者:
- 王维维 译
- 学科主题:
- 硬件-设计-验证-高等学校-教材
- 中图法分类号:
- TP303
- 中图法分类号:
- TP303
- 出版发行附注:
- 由Pearson Education (培生教育出版集团) 授权
- 责任者附注:
- 责任者Lam规范汉译姓: 拉姆
- 书目附注:
- 有书目 (第355-375页)
- 提要文摘附注:
- 本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨沦一般的测试原则又展示具体的实践方法，包含作者多午实践经验，实用性强。每章最后还配有各类习题，渎者可用来巩固所学的知识。
- 使用对象附注:
- 可作为高等院校电子科学与技术、计算机科学与技术等专业高年级本科生或低年级研究生教材，也可供相关专业工程师参考。
全部MARC细节信息>>