（美）阿布拉莫韦奇（Abramovici，M.）等著；李晓维等译2006 年出版449 页ISBN：7111192370
本书系统地介绍了结构测试的理论和方法、可测试性设计理论和度量方法、测试数据的处理及简化的理论和方法以及智能芯片测试理论和方法。
林明权等编著；马维旻改编2003 年出版286 页ISBN：7505383868
本书在简要介绍VHDL的语法和基本数字逻辑电路设计技巧的基础之上，完整地给出了七个较为复杂的数字控制系统设计范例。
夏宇闻编著2003 年出版456 页ISBN：781077302X
本书讲述硬件描述语言Verilog HDL建模、仿真和综合的设计方法和技术。书中从算法和计算的基本概念出发，把复杂的算法分解成简单的步骤，最终由硬件逻辑电路来实现复杂的数字逻辑系统。...
（英）Mark Zwolinski著2002 年出版324 页ISBN：7505380206
国外电子与通信教材系列:本书共12章，主要讨论了电路设计自动工具的使用，CMOS的可编程逻辑技术，布尔代数的原理和组合逻辑设计等问题。
李景华，杜玉远主编2012 年出版252 页ISBN：9787118079036
本书内容主要包括：可编程逻辑器件及EDA技术简介，Verilog HDL语言，典型Verilog HDL 设计实例，典型数字系统设计实例等等。
夏宇闻编著2008 年出版478 页ISBN：9787811243093
本书从算法和计算的基本概念出发，讲述如何由硬线逻辑电路来实现复杂数字逻辑系统的方法。
（美）凯夏博·帕里（Keshab K.Parhi）著；陈弘毅等译2004 年出版578 页ISBN：7111141083
本书讲述定制或半定制VLSI电路设计方法学。
