数字集成电路设计验证 : 量化评估、激励生成、形式化验证.pdf
本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证三大部分。
数字集成电路
数字集成电路设计与技术.pdf
本书包括基于模块和层次化的RTL设计方法学、Verilog和VHDL的建模和逻辑设计、低功耗数字电路设计等10章内容。
数字集成电路测试优化 : 测试压缩、测试功耗优化、测试调度.pdf
本书内容涉及数字集成电路测试优化的三个主要方面：测试压缩、测试功耗优化、测试调度。包括测试数据压缩的基本原理，激励压缩的有效方法，测试响应压缩方法和电路结构；测试功耗优化的基本原理，静态测试功耗优化方法，动态测试功耗优化；测试压缩与测试功耗协同优化方法；测试压缩与测试调度协同优化
晶体管-晶体管数字集成电路.pdf
本书系统地介绍了晶体管-晶体管逻辑集成电路的基本工作原理、直流参数、动态过程以及图形设计，并对各种类型的集成触发器、计数器、移位寄存器、全加器和集成存贮器等中、大规模集成电路作了适当介绍．书中对采用肖特基势垒二极管的高速电路有比较具体的介绍，对电路的动态过程也育较为深入的物理
数字集成电路容错设计 : 容缺陷/故障、容参数偏差、容软错误.pdf
本书主要内容涉及数字集成电路容错设计的三个主要方面：容缺陷（和故障）、容参数偏差以及容软错误；包括3S技术（自测试、自诊断、自修复）的基本原理。
数字集成电路设计实验教程.pdf
本书内容包括数字集成电路自顶向下(top-down)的设计流程，仿真软件Modelsim、FPGA开发软件ISE、调试利器ChipScope pro、逻辑综合软件Design Compiler以及后端设计软件Astro的使用，基本逻辑门电路、分频器、状态机、按键防抖电路、数码管扫
数字集成电路教程 | 2版.pdf
本书包括数字电路分析设计基础、组合逻辑电路、时序逻辑电路、数-模和模-数转换电路、逻辑电路的机助设计、基础练习题与思考题六个部分。
数字集成电路物理设计.pdf
本书介绍了基于标准单元的数字集成电路从门级网表到最终布局布线版图生成过程中所涉及的多方面工作，包括布图规划、电源规划、布局、时钟树综合等。