康磊和张燕燕主编的《高等学校电子信息类专业“十二五”规划教材·Verilog HDL数字系统设计：原理、实例及仿真》从实用的角度出发，通过大量的实例，详细介绍了基于Verilog HDL硬件描述语言进行数字系统设计的过程、方法和技巧。全书分为四部分，共13章，主要内容包括可编程器件的工作原理及数字系统设计流程、Verilog HDL基本语法知识和建模方法、常用逻辑功能单元及复杂数字系统设计方法，并对集成开发软件QuartusII和仿真测试软件Model Sim的应用做了详细说明。《高等学校电子信息类专业“十二五”规划教材·Verilog HDL数字系统设计：原理、实例及仿真》可作为计算机类、电子类、自动化类、机电类硬件和通信工程等相关专业学生的教学参考书，也可作为数字系统设计工程师的参考书。