硬件设计验证:基于模拟与形式的方法
版权信息
书 名: 硬件设计验证：基于模拟与形式的方法
作者：(美)(LamW.K.)兰姆
出版社：机械工业出版社
出版时间： 2007
ISBN: 9787111195023
开本： 16
定价: 45.00 元
内容简介随着数字逻辑设计的规模越来越大，复杂度越来越高，功能验证已经成为设计过程中的首要瓶颈。缩短验证时间是项目取得成功的关键。本书系统地阐述了当今最具价值的基于模拟和形式方法的验证技术，帮助测试工程师和设计工程师为每个项目选择最佳的解决方法，最快地在设计中建立起自信，并将它移植到更快的制造过程中。
本书作者WilliamK．Lam是设计验证方面的世界级一流专家，书中汇聚了作者广博的实践经验，既讨论一般的测试原则，也展示具体的实践方法，有些内容还提供了伪代码形式的算法，读者只需简单地改写为具体的程序设计语言，即可上机调试。无论高校学生还是企业的验证工程师都可以从本书获益。
本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与SAT问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨沦一般的测试原则又展示具体的实践方法，包含作者多午实践经验，实用性强。每章最后还配有各类习题，读者可用来巩固所学的知识。.
本书可作为高等院校电子科学与技术、计算机科学与技术等专业高年级本科生或低年级研究生教材，也可供相关专业工程师参考。
作者简介WilliamK.Lam是Sun公司实验室的资深经理兼高级工程主管，曾获得2002年度公司最高技术成就奖——总裁创新奖。他拥有加州大学伯克利分校电气计算机工程系博士学位，曾获得1994年优秀博士论文K.J.Sakrison奖。他发表过大量论文及两部专著，并拥有多项美国专利。
目录译者序
前言
致谢
第1章设计验证的缘由
1.1什么是设计验证
1.2验证的基本原理
……