资料介绍
关于Verilog HDL综合的讨论早在1988年就已经展开。但时至今日,此领域的优秀教材尚未囊括其基本概念。这本关于Verilog HDL综合实用教程全面地介绍了这一新技术。它通过提供便于理解的、与综合技术相关的Verilog语义,揭开了HDL综合的神秘面纱。本书作者Bhasker是综合领城的专家,在此领域已研究了14 年多。身为IEEE工作组主席,他利用自己的专长领导了Verilog RTL综合标准(PAR 1364.1)0的开发,此项工作是以1998年4月公布的OV10RTL综合子集为基础开展的,面Bhasker正是OVI的RTL综合标准的缔造者之一。
Bhasker的这本著作为学生和刚刚从事逻辑设计的人提供了系统掌握VerilogHDL综合的捷径。此书文字浅显易懂,列举了大量可综合的Verilog HDL模型示例。读者可以系统地了解Verilog HDL的语言结构,它们在综合时的含义、综合设计技术如何把这些结构转换成逻辑门电路,以及它们对设计验证的影响。此书给出了大量VerilogHDL模型示例及其等价的逻辑门电路。这些示例虽然简单,但展示了不同的逻辑建模方式,如组合逻辑。时序逻辑。基于寄存器和锁存器的设计、有限状态机、算术单元等。
本书不仅为初学者提供了HDL综合方面的知识,还讨论了-些高级论题,诸如如何从综合模型得出优化的逻辑等。其中,资源共享和分配是模型优化的论题之一。另一个独特的论题是对设计的验证。本书阐述了编写综合模型以确保得到可预测和可验证的结果的基本原则。尽管有一章立足于仿真,但是所讨论的那些概念同样可用于形式化验证。
本书是第一本对Verilog HDL综合进行全面论述的著作。作者Bhasker在LucentTechnologies(朗讯科技)讲授Verilog HDL语言和Verilog HDL综合长达三年多。这本书是他14年来在Verilog HDL综合方面的研究成果的总结。尽管本书定位于初学者,但是专业人员也可从基本原则及综合建模的高级论题中获益。不容置疑,知识产权(IP)开发人员应遵循本书所推荐的建模方式。
本书是Verilog HDL寄存器传输级综合方面的实用指南,提供了大量可综合的Verilog HDL示例,详细介绍了Verilog HDL综合所支持的各种语法结构,并且用示例说明了如何把这些可综合的结构搭配起来对各种硬件元件进行建模。本书还详细讲解了造成设计模型和综合出的网表功能不-一致的常见原因,并给出了避免产生这些错误的建议。
对很多人而言,综合看起来像是一个黑箱,输入的是Verilog HDL描述的设计,而输出的是门级网表。这种黑箱方式看起来似乎存在着某些奥妙。正确理解综合过程中出现的各种变换,才能充分利用综合系统并充分发挥它的长处。Verilog HDL终究是- -种建模语言,本书的目的就是要通过介绍从硬件描述语言模型到网表这一综合过程中出现的各种变换来揭示黑箱中的奥秘。
Verilog硬件描述语言通常指的是作为IEEE标准《IEEE Std 1364)的VeriogHDL。它可以用来描述时序的和井发的行为,也可用来描述模型的结构。它支持在从体系结构级到开关级的多个抽象层次上描述设计。该语言支持对设计进行层次化建模,此外还提供了大量內建的基本元件,包括逻辑门和用户自定义的基本元件。各种语言结构都具有精确的仿真语义,因此可以用VerilogHDL仿真器来验证采用该语言编写出的模型。
通常,对于不同的人面言,“综合”有不同的含义。本书中,综合指的是对VerilogHDL描述的设计进行综合,该设计描述了组合逻辑和(或)时序逻辑。对于时序逻辑,清晰地描述了其受时钟控制的行为。这排除了讨论逻辑综合(用逻辑门基本元件描述的设计)和高层次综合(不用时钟信息来指定设计对象的行为)。綜合过程把VerilogHDL模型转换成门级网表。通常假定目标网表是被模拟的逻辑与工艺无关的表示形式。目标工艺包含诸如逻辑门之类与工艺无关的通用功能块,以及诸如算术逻辑单元和比较器之类的寄存器传输级功能块。对于综合流程的后续阶段,如工艺转换(即从通用门到库中特定部分的映射)和模块绑定(即采用逻辑门基本元件来构建寄存器传输级功能块),本书均未涉及,
之所以很难编写一本关于综合的书,是因为其具有发展迅速的特性。因此,本书所提供的是大体上成立的基本信息,尽可能避开了模棱两可的论题(包括与特定实现相关的问题)。由于Verilog HDL语言的丰富性,描述-种行为可能存在着不止一种方式,本书提出了一两种可综合的建模方式。另外,并非该语言中的所有结构都是可综合的,因为Verilog HDI.最初是被设计成-种仿真语言。因此,本书将介绍主流综合系统所支持的各种结构。
同样,本书还避免提及特定综合工具厂商提供的不同特性。然而,某些特定情况下也有必要介绍某种实现示例。此时,所介绍的特性都在朗讯科技的贝尔实验室开发的ArchSyn (14. 0版本)综合工具中得到了实现。
注意:不是所有的综合系统都支持本书中描述的VeilogHDL结构。任何关F综合系统的专有特性的更多细节,读者都需要及时参考相应厂商的文档资料。
笔者是Verilog综合互操作性工作组的主席,该工作组目前正在开发RTL级综合的IEEE标准。
本书假定读者已经具备了Verilog HDL语盲的基础知识。Star Galaxy出版社的“A Verilog“ HDL Primer”是一本关于Verilog HDL语言人门的好书。
本书面向电子工程师,尤其是那些对于理解综合的技巧感兴趣的电路与系统设计人员。本书不打算解释任何综合算法。作者相信一旦理解了综合结果会是什么,就能够编写出有效的设计模型,从面对综合出的设计对象的品质能有所控制。这是因为综合出的电路结构易受编写模型的方式的影响。
本书可以用作高校教材。在电子工程专业的教学大纲中,本书可以在计算机辅助设计方面的VLSI (超大规模集成电路)课程中使用。学生可使用本书编写多种模型,并在任何可用的综合系统中对它们加以综合,以研究综合过程中出现的各种变换。在计算机科学专业的课程(如计算机辅助设计的算法课程)中,学生可以编写简单的综合程序来识别VerilgHDL语法的一个子集并生成综合的网表。本书中的示例可用作测试用例以供理解所生成的网表。
专业工程师将本书作为参考书也可以从中获益。工程师们可以在大量模型示例及其综合出的网表中直接寻找自已感兴趣的部分加以研究。
本书的组织结构
第1章介绍综合过程的基础知识,诸如什么是连线、触发器和状态以及如何确定对象的大小之类的内容。
第2章介绍VerilogHDL结构向逻辑门的映射。通过组合逻辑的示例说明如何把Verilog HDL结构变换成基础逻辑门以及它们的互连结构。还通过异步置位和清零、同步置位和清零、多时钟、多相位时钟等建模示例介绍了各种模拟时序逻辑设计的方式。
有时也有必要使用预先设计的功能块,因此第2章进一步介绍了如何对结构进行建模,包括在行为模型中采用部分结构建模。
第3章介绍如何把Verilog HDL的各种结构搭配起来对硬件元件进行建模。虽然第2章介绍了Verilog HDL向逻辑门的映射,但本章介绍的是另一方面,即如何用Verilog HDL来建立硬件元件的可综合模型。本章提供了许多通用硬件元件的详尽示例,如多路选择器、计数器、译码器以及算术逻辑单元等。
第4章介绍可应用f Verilog HDL模型以综合出优质网表的各种有效技术。
本章介绍的各种优化手段如果不能由综合系统自动实现,则需要由设计者手工加以实现。
有了VerilogHDL综合模型,通常还有必要用输人的设计模型来验证综合出的网;表。第5章提供了编写检验综合结果的测试平台的策略。因为Verilog HDL.不是为了综合而专门设计的语言,设计出的模型与综合出的网表可能会出现功能上的不一致。本章解释了产生那些分歧的原因。
为了说明典型的综合系统所支持的Verilog HDL可综合子集,附录A介绍了ArchSyn综合系统所支持的结构。但是,不同综合系统的可综合子集之间是存在差别的。
附录B给出了本书中综合出的网表用到的各种逻辑门的说明。
注意:本书展示的综合出的网表不是优化过的网表,因此在某些情况下这些逻辑可能不是最理想的。这是可以接受的,因为本书的目的是体现Verilog HDL到逻辑门之间的变换,而不是用来说明各种逻辑优化技术。本书中的有些网表已经被有目的地优化过了,因此可以把那些网表作为经典记录下来。
- Verilog HDL入门教程.pdf 117次下载
- 图解数字磁带录音机的PDF电子书免费下载 109次下载
- 现代无线电实验的PDF电子书免费下载 285次下载
- 半导体收音机浅谈的PDF电子书免费下载 171次下载
- 光学谐振腔的图解分析与设计方法的PDF电子书免费下载 132次下载
- 无线电全息摄影的PDF电子书免费下载 54次下载
- 华为Verilog HDL入门教程的PDF电子书免费下载 92次下载
- MATLAB函数速查手册PDF电子书免费下载 150次下载
- 电子管数据手册合集PDF电子书免费下载 82次下载
- SHARP电子元器件综合目录中文版PDF电子书免费下载 0次下载
- Verilog HDL那些事儿建模篇PDF电子书免费下载 12次下载
- Verilog HDL那些事儿时序篇PDF电子书免费下载 62次下载
- 51单片机100实例源码的注释详细PDF电子书免费下载 220次下载
- 电冰箱快速维修PDF电子书免费下载 51次下载
- 家电维修1128例PDF电子书免费下载 207次下载
- Verilog 与 ASIC 设计的关系 Verilog 代码优化技巧 212次阅读
- Verilog与VHDL的比较 Verilog HDL编程技巧 255次阅读
- Verilog HDL的基础知识 524次阅读
- 例说Verilog HDL和VHDL区别 3946次阅读
- 二十进制编码器及Verilog HDL描述 Verilog HDL程序的基本结构及特点 3052次阅读
- Verilog的程序框架案例 1409次阅读
- Verilog HDL指定用户定义原语UDP的能力 1026次阅读
- Verilog HDL和VHDL的区别 1.3w次阅读
- Verilog可综合的循环语句 1.9w次阅读
- 如何设计可综合的Verilog代码和应该遵循什么原则 4641次阅读
- 最新电子书拆解评测系列报道(一):打开你的眼界 1.2w次阅读
- Verilog HDL简明教程(2) 1234次阅读
- Verilog HDL简明教程(part1) 1274次阅读
- 初学者学习Verilog HDL的步骤和经验技巧 3.6w次阅读
- Verilog HDL语言的文件调用问题:include使用方法介绍 6897次阅读
下载排行
本周
- 1EN60335-1安规标准 中文版本
- 1.86 MB | 53次下载 | 1 积分
- 2LT7406FJ N沟道增强型功率MOSFET规格书
- 1.38 MB | 2次下载 | 免费
- 3米尔-瑞芯微RK3562核心板开发板,4核CPU,ARM中量级多面手
- 3.45 MB | 2次下载 | 免费
- 4运算放大电路入门教程
- 0.70 MB | 1次下载 | 免费
- 5开源鸿蒙版真4K显示器广告机主板AIoT-6780SE彩页
- 613.79 KB | 1次下载 | 免费
- 6LTS6806SR N沟道增强型功率MOSFET规格书
- 0.99 MB | 次下载 | 免费
- 7LT3810FP-X N沟道增强型功率MOSFET规格书
- 0.92 MB | 次下载 | 免费
- 8LTS4008TRB N沟道增强型功率MOSFET规格书
- 1.58 MB | 次下载 | 免费
本月
- 1STM32CubeMX用于STM32配置和初始化C代码生成
- 21.90 MB | 619次下载 | 免费
- 2STM32开发板教程之STM32开发指南免费下载
- 24.88 MB | 176次下载 | 3 积分
- 3DeepSeek:从入门到精通
- 5.36 MB | 95次下载 | 1 积分
- 4EN60335-1安规标准 中文版本
- 1.86 MB | 53次下载 | 1 积分
- 5OAH0428最新规格书(中文)
- 2.52 MB | 27次下载 | 10 积分
- 6UHV系列雷电冲击电压发生器试验装置详细说明使用
- 1.07 MB | 17次下载 | 免费
- 7Altium-常用3D封装库(Step)接插件篇
- 4.95 MB | 14次下载 | 免费
- 8介绍一些常用的电子元器件
- 3.20 MB | 8次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935124次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420063次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233088次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191371次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183336次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81583次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73814次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65988次下载 | 10 积分
评论