本书在介绍数字逻辑基本概念和知识基础上，系统介绍逻辑电路的分析和设计方法，特别结合现代数字系统设计技术的发展，介绍基于硬件描述语言Verilog HDL的逻辑电路建模方法，并给出了所举实例代码及仿真结果。全书内容分为3部分：第1～3章介绍数字逻辑的理论基础，包括数制、码制、逻辑代数基础以及硬件描述语言基础等；第4章介绍组合电路的分析方法、常用逻辑功能电路的Verilog HDL建模方法以及典型功能模块的应用；第5～8章在分析锁存器/触发器工作原理和逻辑特性基础上，介绍同步时序电路的分析方法，分别讨论了典型和一般同步时序电路的Verilog HDL建模方法，并介绍了典型同步时序模块的应用方法。本书可作为计算机、物联网、自动控制、电子信息等专业的本科生教材，也可作为数字系统设计相关技术人员学习Verilog HDL建模方法的参考书。