VHDL及数字电路验证

书名：VHDL及数字电路验证
作者：刘树林，刘宁庄，王媛媛编著
ISBN：978-7-121-30250-3
出版社：电子工业出版社
出版日期：2017.01
本书内容除绪论外主要分为两大部分：第一部分（第2～7章）以理论知识为主，系统介绍硬件描述语言（VHDL）的程序框架及组成、数据类型、数据对象、主要描述语句、语言属性和构造体描述风格，着重于可综合门级电路、使用频率较高的描述语句的学习应用。第二部分（第8～13章）围绕数字电路的设计验证展开论述，主要介绍组合和时序逻辑电路设计、状态机设计验证、典型IP核的设计验证以及FPGA最小系统应用设计。本书遵循“淡化理论，够用为度”的原则，通俗易懂，精练实用，配有大量的设计实例。