Verilog HDL综合实用教程

本书《Verilog HDL Synthesis: A Practical Primer》由J. Bhasker著作，孙海平等人翻译，由清华大学出版社出版。作为一本实用的Verilog HDL综合教程，本书旨在帮助读者快速掌握编写可综合的Verilog模型，了解哪些语言结构适用于综合，并学习如何避免功能不匹配的问题。书中不仅提供了丰富的Verilog模型范例，还深入讲解了综合技术，包括硬件元件模型的使用和修改，以及仿真与综合时可能出现的差异。

本书的特点是全面而深入地讨论了Verilog HDL的综合，包括语言结构的可综合性、仿真与综合时的语义差异，并通过大量示例进行阐释。此外，还详细介绍了设计模型的优化和验证技术，对于提升设计能力和效率具有重要意义。作者J. Bhasker是IEEE PAR1364.1 Verilog Synthesis Interoperability Working Group的主席，拥有深厚的专业背景。

书中内容涵盖了从基础知识到高级主题，适合Verilog初学者和有经验的设计者。包括持续赋值和过程赋值、逻辑与算术运算符、关系与相等性运算符、移位与向量运算、条件表达式、always和if语句等Verilog语言的基础结构。同时，还探讨了锁存器和触发器的建模、存储器的建模、布尔等式的编写、有限状态机的建模等高级主题。

本书还特别强调了综合过程中的优化技术，如资源共享、代码移位、公因子提取等，以及如何通过测试平台来验证综合结果的正确性。附录部分提供了可综合的语言结构清单和通用库元件的介绍，为读者提供了宝贵的参考资源。整体而言，这本书是电子工程师和计算机科学专业学生学习Verilog HDL综合的权威指南。