山西大同大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

硬件设计验证:基于模拟与形式的方法/(美) William K. Lam著 王维维译

出版发行项:

北京:电子工业出版社,2013

ISBN及定价:

978-7-121-19583-9/CNY59.00

载体形态项:

13, 377页:图;26cm

统一题名:

Hardware design verification : simulation and formal method-based approaches

其它题名:

基于模拟与形式的方法

丛编项:

国外电子与通信教材系列

个人责任者:

拉姆 (Lam, William K.) 著

个人次要责任者:

王维维 译

学科主题:

硬件-设计-验证-高等学校-教材

中图法分类号:

TP303

责任者附注:

责任者Lam规范汉译姓: 拉姆

书目附注:

有书目 (第356-375页)

提要文摘附注:

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与sat问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨论一般的测试原则又展示具体的实践方法，包含作者多年实践经验，实用性强。每章最后还配有各类习题，读者可用来巩固所学的知识。

豆瓣简介：