硬件设计验证 基于模拟与形式的方法

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

数字集成电路 电路、系统与设计 原书第2版 英文版

本书分三部分：基本单元、电路设计和系统设计。在对MOS器件和连线的特性做了简要介绍之后，深入分析了反相器，并逐步将这些知识延伸到组合逻辑电路、时序逻辑电路、控制器、运算电路及存储器这些复杂数字电路与...

单片开关电源集成电路应用设计实例

本书主要以Powerint公司的DPA-Switch、PKS-Switch、LNK-Switch、TNY-Switch和TOP-Switch五个系列的单片开关电源集成电路芯片为核心，在简明介绍它们的主要性能、技术参数、封装形式、内部原理方框图和应用领...

单片开关电源集成电路应用设计实例

本书主要以Powerint公司的DPA-Switch、PKS-Switch、LNK-Switch、TNY-Switch和TOP-Switch五个系列的单片开关电源集成电路芯片为核心，在简明介绍它们的主要性能、技术参数、封装形式、内部原理方框图和应用领...

MOS VLSI电信电路设计

PSpice电路设计与应用

本书介绍了PSpice对电路进行仿真模拟及分析，包括电路原理图的绘制。

多电压CMOS电路设计

本书主要介绍了高性能集成电路的电源电压等方面知识。

电子电路综合设计实例集萃

本书共列举14个电子电路系统设计实例、数码显示电路实例、键盘控制电路、D/A转换控制电路等。

中国室内设计集成·餐饮空间

本套丛书是中国室内装饰协会在行业内征集近一两年国内优秀设计师的作品汇编而成。

基于FPGA的数字电路系统设计

本书介绍了可编程器件基本概念、电路工作原理、参考设计方案、分析方法等。