本书分为5个部分。第1部分的内容是功能验证概述，包括概念背景、验证计划、验证策略和一些基本练习。第2部分和第3部分关注两个最主要的功能验证方法：基于模拟的验证方法和形式验证方法。第4部分把注意力集中在验证周期的后期阶段，包括回归测试和“逃逸”错误分析，以及一些高级的验证技术。第5部分，是一些验证实例研究的集合，进一步强调了验证周期和验证过程中的相关概念。

📙 相关书籍

  1. 《SoC设计方法与实现》高清PDF 本书是普通高等教育“十一五”国家级规划教材，并被评为2008年度普通高等教育精品教材。本书结合SoC设计的整体流程，对SoC设计方法学及如何实现进行了全面介绍。全书共分14章，主要内容包括：SoC的设计流程、SoC的架构设计、电子级系统设计、IP核的设计与选择、RTL代码编写指南、先进的验证方法、低......
  2. 《数字与片上系统设计教程》高清PDF 本书内容包括Nexys2开发平台介绍、组合逻辑电路设计、算术逻辑单元设计、时序逻辑电路设计、有限自动状态机设计、计算机接口设计、FC16CPU设计等。...
  3. 《系统芯片SoC的设计与测试》高清PDF 本书对系统芯片SoC的设计与测试技术进行了全面阐述。全书共分为16章，主要内容包括：系统芯片的设计模式与流程、系统芯片的总线结构、IP芯核的设计、软/硬件协同设计、系统芯片的存储系统设计、系统芯片的物理设计、系统芯片的可测性设计、数字逻辑芯核的测试、模拟与混合信号芯核的测试、嵌入式存储器的测试、系统......
  4. 《片上系统设计思想与源代码分析》高清PDF 片上系统是一个完整的系统，包括多个子模块，许多子模块是SoC必备模块。整个SoC的设计和这些子模块的设计已经逐渐形成了明确的设计思想和方法。本书将片上系统最常见的模块组织起来构成完整的SoC（DemoSoC），并以DemoSoC为例，讲述片上系统的设计思想和最新的设计方法学。?...
  5. 《系统芯片 SOC 设计原理》高清PDF 普通高等教育“十一五”国家级规划教材. 普通高等教育电子信息类规划教材:本书内容包括集成电路工艺及版图基础，CMS数字电路等方面的知识。...
  6. 《SoC设计方法与实现》高清PDF 普通高等教育“十一五”国家级规划教材 电子信息与电气学科规划教材·电子科学与技术类:本书内容包括：SoC的设计流程、SoC的架构设计、电子级系统设计、IP核的设计与选择、RTL代码编写指南、先进的验证方法、低功耗设计技术、可测性设计技术及后端设计的挑战等。...
  7. 《基于片上去耦电容的配电网络 原书第2版》高清PDF 本书主要介绍了高性能超大规模集成电路中配电网络的设计和研究方法，详细分析了片上电源分布网络的各个方面。针对配电系统及其相关的设计难点提出了清晰、有效的解决方法，包括电路网络建模方法和片上去耦电容布局技术。此外，对于片上配电系统的特性行为和设计方法，本书也具有深刻的见解和清晰的表述。本书专业理论性较强......
  8. 《集成电路设计 低功耗处理器及片上系统设计》高清PDF 本书按照三部分组织编写，第一部分是面向嵌入式应用的数字信号处理器和存储器设计。降低功耗的基本思路是在系统层次和电路层次减小动态和静态功耗；第二部分讨论低功耗系统芯片设计技术，包括硬件和嵌入式软件设计的关键问题，数据存储效率、片上网络、以及无线传感与执行网路中路由分配的策略等。第三部分讨论嵌入式软件设......
  9. 《集成电路芯片制造工艺技术》高清PDF 1816060104...
  10. 《SOC设计UML实务手册》高清PDF 本书讲解UML在芯片设计上的应用，主要内容包括：SystemC程序的基本组成、用活动图呈现进程设计、用StarUML绘制活动图、用组合结构图呈现结构设计、用StarUML绘制组合结构图、用通信图呈现通信设计、用StarUML绘制通信图，用类图呈现模块设计，用StarUML绘制类图、用用例组织相关图文......

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。