Verilog HDL 综合实用教程.pdf
(2.62 MB)
本书不仅为初学者提供了HDL综合方面的知识,还讨论了-些高级论题,诸如如何从综合模型得出优化的逻辑等。其中,资源共享和分配是模型优化的论题之一。另一个独特的论题是对设计的验证。本书阐述了编写综合模型以确保得到可预测和可验证的结果的基本原则。尽管有一章立足于仿真,但是所讨论的那些概念同样可用于形式化验证。 本书是第一本对Verilog HDL综合进行全面论述的著作。作者Bhasker在LucentTechnologies(朗讯科技)讲授Verilog HDL语言和Verilog HDL综合长达三年多。这本书是他14年来在Verilog HDL综合方面的研究成果的总结。尽管本书定位于初学者,但是专业人员也可从基本原则及综合建模的高级论题中获益。不容置疑,知识产权(IP)开发人员应遵循本书所推荐的建模方式。
|