数字集成电路设计验证 : 量化评估、激励生成、形式化验证.pdf
本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证三大部分。
电路设计
小型直流电机控制电路设计.pdf
本书主要介绍了小型直流电机的基本特性、设计方法及应用实例。内容包括：电机与控制电路的基本特性、直流电机控制电路的设计、无电刷直流电机控制电路的设计、无传感器直流电机的驱动法、反馈控制电路的设计等。
MOS大规模集成电路设计导论.pdf
本书系统地介绍了MOS大规模集成电路的设计原理和设计技术．内容侧重于NMOS和CMOS硅栅电路． 本书共八章，第一、二章为大规模集成电路设计概述及MOS晶体管基础；第三至第七章从单元到电路到系统，由浅入深地全面阐述了集成电路设计问题，其中既有设计思想、设
射频通信电路设计.pdf
本书系统地介绍了射频通信电路设计的基本原理和方法，从传输线理论、Smith圆图、两端口网络等射频电路基础理论着手，介绍了滤波电路、匹配电路、放大电路等射频通信单元电路的具体设计方法。
模拟电路设计与制作.pdf
本书介绍电子电路的基本制作技术，以及OP放大器、晶体管、二能管和电阻电容等元器的使用方法，还以9种模拟电路为例，分别介绍电路的性质和设计方法。
数字逻辑电路设计与实现.pdf
本书共分为9章，分别介绍了一些基本概念；MAX+plusⅡ软件所提供的设计输入法；HDL语法；组合逻辑电路、触发器、计数器和寄存器等内容。
逻辑势——高速CMOS电路设计.pdf
这是一本帮助读者设计高速电路的专业著作，本书对快速分析和优化大规模电路提供了一种有效的设计思路。通过逻辑势技术的引入，无论是新手设计者还是有经验的设计者，都能获得设计高速电路的一般规律。逻辑势是一个多学科的交叉领域技术，需要读者具有较高的数学基础和电路基础，对于大多数高速电路设计者来说，这显然是应该具备的能力。与传统的RC分析方法相比，逻辑势方法提供了一种优化电路时值得考虑的全新思考角度，事实上，
射频通信电路设计（第二版）.pdf
本书系统地介绍了射频通信电路设计的基本原理和方法。本书从传输线理论、Smith圆图、两端口网络等射频电路基础理论着手，介绍了滤波电路、匹配电路、放大电路、振荡电路、频率变换电路等射频通信电路设计的基本原理和方法。本书既涵盖了射频通信电路设计的基本理论，也涉及射频通信单元电路的具体
集成电路设计技术.pdf
本书介绍了集成电路设计的基本方法，在体系结构上分为三部分，讲解了集成电路设计概述和集成电路设计方法，SPICE模拟技术和SPICE器件模型，以及硬件描述语言、逻辑综合及版图技术。
Altium Designer电路设计与应用（第三版） 高明远,曹红英 主编.pdf
本书是根据电子行业岗位标准、职业资格证书和“1+X”职业技能等级证书考试的具体要求，结合多年来的教学实践和EDA 技术发展的现状与趋势，并针对学生实践能力和创新能力的培养而编写的一本实践性较强的教材。 全书共分7 个项目，分别为电子CAD 设计基础、稳压电源PCB