本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。

📙 相关书籍

  1. 《嵌入式计算机硬件体系设计》高清PDF 本书重点介绍了嵌入式计算机系统的基本组成，嵌入式ARM微处理器，基于ARM微处理器的硬件电路设计、ARM硬件体系下嵌入式操作系统的移植、面向ARM硬件体系的Linux驱动程序设计、ARM硬件体系下系统程序设计、基于ARM的工业内窥仪设基于ARM的电阻抗成像采集系统的设计。...
  2. 《计算机硬件系统设计原理》高清PDF 本书根据教育部提出的“基础学科拔尖学生培养试验计划(珠峰计划)”和“卓越工程师培养计划”编写而成。它将以往的“微型计算机技术及应用”“计算机组成原理”“计算机系统结构”“并行处理”和“精简指令集计算机（RISC）”等课程，从计算机系统硬件设计的角度出发，沿着单机指令串行执行→重叠→流水线、线性流水线......
  3. 《计算机硬件技术基础》高清PDF 本书的主要作用在于为非计算机硬件基础教材改革提供了参照。本次修订主要新增“多媒体外部设备及接口卡”以及“嵌入式计算机的发展与应用”两章。...
  4. 《计算机硬件技术基础 第2版》高清PDF 本书的主要内容包括计算机基础知识、中央处理器、存储器、汇编语言及程序设计等。...
  5. 《计算机系列教材 计算机硬件基础实验教程 第2版》高清PDF 《计算机系列教材：计算机硬件基础实验教程（第2版）》第2版是在《国家中长期教育改革和发展规划纲要（2010-2020） 》精神鼓舞下诞生的。两位作者积40余年从事计算机硬件科研与教学的亲身体验，并总结多年实验设备研制和实践教学的经验，完成了本书第2版的写作。全书共15章，内容是： （1）实践教学理念......
  6. 《计算机硬件技术》高清PDF 本书以80x86微处理器和MCS-51单片机为两根主要的脉络，从工程应用的角度出发，系统阐述80x86微机和MCS-51单片机的基本结构、原理、接口技术及其应用。全书共分为5部分：80x86微机原理部分；汇编语言程序设计部分；接口技术部分；系统设计扩展部分；MCS-51部分。...
  7. 《计算机硬件技术基础实验教程》高清PDF 本书内容包括计算机硬件技术基础系列实验间的关系和教学实施方案。...
  8. 《软件学院综合实验教程 计算机硬件综合实验》高清PDF 本教材根据国家级示范性软件学院相关硬件理论教学和实践能力的要求……...
  9. 《计算机硬件系统实验教程》高清PDF 本教程以CC2005课程体系及教学大纲为指导。以FPGA、VHDL等新技术为载体，以指令流水计算机的设计和实现为核心内容，全面改造了计算机组成原理的实验体系，设计了指令系统、数据通路、存储器、外部接口和总线等单元实验以及计算机系统设计与实现的综合性实验等，以和教学内容相结合，促进同学们对基本知识的理......
  10. 《计算机硬件基础实验教程 第2版》高清PDF 本书系统地介绍了计算机硬件基础实验及VHDL。...

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