全面的功能验证：完整的工业流程.pdf

国际信息工程先进技术译丛 全面的功能验证： 完整的工业流程 （美） >????= .?d? JH?

? ? ? ?著 ???kU?k??
?? ? 沈海华 ?乐 ?翔 ? ?译 机械工业出版社 ? ?本书分为"个部分%第?部分的内容是功能验证概述?包括概念背景& 验证计划&验证策略和一些基本练习%第?部分还介绍了验证周期的概念和 层次化验证的概念?以及在实践中怎样将巨型设计分解为可验证的单元%第0 部分和第部分关注两个最主要的功能验证方法?基于模拟的验证方法和形 式验证方法%第?部分把注意力集中在验证周期的后期阶段?包括回归测试 和e逃逸|错误分析?以及一些高级的验证技术%第"部分?是一些验证实 例研究的集合?进一步强调了验证周期和验证过程中的相关概念% 本书既可作为科研院所&高等工科院校计算机&电子&微电子等专业的 教材或教学参考书?也可作为集成电路验证领域的工程师的技术指南或工 具书% ??wd??=台?
=]q=?=? d=?
w?U?
Uw=???=w=????=?w?q?&=
d?&?6
?=K ??i=?kUq??o?w?w?J? d=?UXU?d=???

J ?q??=kdw?&?6
?=??i=?kUq??o?w?w?J? d=?UXU?d=???

J ??=kdw
?
???J d=
?=w=??=
U?wd??=台????
U=? d=?U????4???=?k专??k???ki?? U??U= U?J以?U?wd??=台?4q??w???=w=??=
U?=?Uw=????wd ?q??=kdw ??wJ?=?Uw=????wd=
?U =

?&??ww? =?=U?? ?=]=?U??Uw=
J 本书中文简体字翻译版由机械工业出版社与6
?=??i=?kUq??o?w ?w?J在中国大陆境内合作出版%本版仅限在中国境内?不包括香港特别 行政区及台湾地区o出版及标价销售%未经许可的出口?视为违反著作 权法?将受法律制裁% 本书封底须贴有6
?=?防伪标签?无标签者不得销售% 本书版权登记号?图字!?K0!!
K0口?号% ?图书在版编目? ??o数据 ?全面的功能验证?完整的工业流程??美o威立??=?>Jo等著+沈海华? 乐翔译 ??北京?机械工业出版社?0!!
J0 ?