本书从实际应用需求出发，系统论述了数字逻辑电路设计、功能仿真和下板验证的基本原理和方法。本书基于VerilogHDL与Quartus开发环境，实验内容由一套循序渐进、从简到复杂、环环相扣的实验系列项目构成，涵盖了组合逻辑电路设计基础、规则时序逻辑电路设计基础、有限状态机设计基础、综合电路设计、数字系统设计等相关知识。本书不仅注重数字逻辑电路与系统的设计基础知识的讲解，而且包含基于FPGA的电路设计、功能仿真及下板验证方法与技巧，方便读者快速地掌握利用EDA工具设计和验证数字逻辑电路与系统的方法和流程。全书共6章。第1章介绍了数字集成电路和EDA工具，并且对基于EDA工具的数字逻辑系统实验方法、过程及意义进行详细介绍。第2章介绍了本书的实验硬件开发平台DE1-SoC。第3章详细介绍基于EDA的开发环境的界面和应用。该章以38译码器为例讲解应用Quartus开发环境进行数字逻辑电路的设计、功能仿真和下板验证的详细流程，该流程适用于后续所有实验案例，不再在后续章节赘述。此外，本章还补充了电路调试相关的方法，包括Testbench的设计方法、调试技巧以及基于SignalTap的嵌入式逻辑分析仪调试方法。第4章主要通过门级结构描述建模和行为级建模两种方法介绍基础的组合逻辑电路(7个案例)和时序逻辑电路(4个案例)的设计、分析和验证方法。第5章介绍综合电路的设计方法，包括有限状态机的设计(含流水灯、交通灯、电梯控制器等5个由易到难的案例)、接口设计(UART、SPI)、FIFO(含行为级描述建模和IP核调用)。第6-8章由易到难介绍3个小型数字系统的设计、调试和验证方法。第6章介绍一个带定时、调时、报时功能的数字钟。第7章介绍OLED的驱动电路开发。第8章介绍简化的精简指令集CPU的设计及实现。