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

国际信息工程先进技术译丛 全面的功能验证： 完整的工业流程 （美） Bruce Wile John C. Goss 著 Wolfgang Roesner 沈海华 乐 翔 译 机 械 工 业 出 版 社 本书分为 5 个部分。 第 1 部分的内容是功能验证概述， 包括概念背景、 验证计划、 验证策略和一些基本练习。 第 1 部分还介绍了验证周期的概念和 层次化验证的概念， 以及在实践中怎样将巨型设计分解为可验证的单元。 第 2 部分和第 3 部分关注两个最主要的功能验证方法： 基于模拟的验证方法和形 式验证方法。 第 4 部分把注意力集中在验证周期的后期阶段， 包括回归测试 和 “逃逸” 错误分析， 以及一些高级的验证技术。 第 5 部分， 是一些验证实 例研究的集合， 进一步强调了验证周期和验证过程中的相关概念。 本书既可作为科研院所、 高等工科院校计算机、 电子、 微电子等专业的 教材或教学参考书， 也可作为集成电路验证领域的工程师的技术指南或工 具书。 Authorized simplified Chinese translation edition jointly published by Elsevi- er （Singapore） Pte Ltd. & China Machine Press. Copyright© by Elsevier （Singapore） Pte Ltd. & China Machine Press. All rights reserved. This edition is anthorized for sale in China only， excluding Hong Kong SAR and Taiwan. Unauthorized export of edition is a violation of the Copyright Act. Violation of this Law is subject to Civil and Criminal Penalties. 本书中文简体字翻译版由机械工业出版社与 Elsevier （Singapore） Pte Ltd. 在中国大陆境内合作出版。 本版仅限在中国境内 （不包括香港特别 行政区及台湾地区） 出版及标价销售。 未经许可的出口， 视为违反著作 权法， 将受法律制裁。 本书封底须贴有 Elsevier 防伪标签， 无标签者不得销售。 本书版权登记号： 图字 01-2009-3281 号。 图书在版编目 （CIP） 数据 全面的功能验证： 完整的工业流程/ （美） 威立 （Wile， B. ） 等著； 沈海华， 乐翔译. —北京： 机械工业出版社， 2......