名称：硬件设计验证-基于模拟与形式的方法
作者:（美）WilliamK.Lam
出版社:机械工业出版社
格式：pdf,txt
本电子书只供学习参考，请更多地支持正版图书。
硬件设计验证-基于模拟与形式的方法内容简介
《硬件设计验证-基于模拟与形式的方法》pdf电子书下载。
硬件设计验证-基于模拟与形式的方法部分内容
William K .Lam是Sun公司实验室的资深司理兼高级工程主管，曾获得2002年度公司最高技术成就奖——总裁立异奖。书中汇集年夜量设计验证的根基概念与技术，内容深入浅出，叙述详尽，既讨沦一般的测试原则又展示具体的实践方法，包含作者多午实践经验，实用性强。他颁发过年夜量论文及两部专著，并拥有多项美国专利。本书周全介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟计划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、符号计较与模子检验。他拥有加州年夜学伯克利分校电气计较机工程系博士学位，曾获得1994年优秀博士论文K.J.Sakrison奖。每章最后还配有各类习题，读者可用来巩固所学的知识。本图书于2007年1月由机械工业出书社出书《硬件设计验证-基于模拟与形式的方法》电子书籍下载的作者（美）WilliamK.Lam和机械工业出书社为本书的写作出书都付出了很多汗水。本书属电子与电气工程丛书。.
本书可作为高档院校电子科学与技术、计较机科学与技术等专业高年级本科生或低年级研究生教材，也可供相关专业工程师参考。
。本站的pdf电子书《硬件设计验证-基于模拟与形式的方法》主要是由网络收集整理来的，最终著作权仍归属于原书的作者（美）WilliamK.Lam和出版商。如果您喜欢这本书，请多多支持我们的图书出版事业，让辛苦写书的作者得到应有的回报。在此也要感谢机械工业出版社，感谢出版社为《硬件设计验证-基于模拟与形式的方法》的出版所做的工作。本站只提供图书的试读版，同时欢迎更多的爱好读书的朋友来电子书下载网来分享更多好看的pdf电子书，免费下载您所需要的电子书籍。最后衷心感谢您下载《硬件设计验证-基于模拟与形式的方法》pdf版免费电子书。
参考: 免费下载电子书 硬件设计验证-基于模拟与形式的方法
本文来自枯萎○还行投稿，不代表电子书资源网立场，如若转载，请联系原作者获取。
微信扫一扫 
