引言:本文我们介绍Verilog HDL的基础知识,重点对Verilog HDL的基本语法及其应用要点进行介绍。
1. Verilog HDL概述
什么是Verilog?Verilog是IEEE标准的硬件描述语言,一种基于文本的语言,用于描述最终将在硬件中实现的电路。Verilog和它的竞争对手VHDL一样,可以用于仿真和综合,实现对硬件进行建模。
Verilog最初是由Cadence收购的Gateway Design Automation创建的。1995年,它被IEEE采用为标准。2001年,采用了该语言的修订版本。2005年也进行了小的修订。同样值得注意的是,2005年SystemVerilog作为Verilog HDL的超集引入,其中还包括面向对象的验证技术。2009年,IEEE将Verilog标准与System Verilog标准合并为一个IEEE 1800-2009标准。
2. 行为建模和结构建模
当进行综合实现时,有两种方法可以进行电路建模:行为建模和结构建模。
2.1 行为建模
在行为建模中,您描述的是电路的功能,而不是电路的结构。输出行为是相对于输入来描述的。这里是描述移位操作的行为HDL代码的示例。
图1:移位操作行为建模示例
这种类型的建模依赖于综合引擎来创建与所描述的行为相匹配的正确电路。
2.2 结构建模
图2:结构建模示例
在结构建模方法中,指定了电路的功能和结构。编写HDL的工程师调用特定的硬件元件并将它们连接在一起。硬件元件可以像AND或OR门一样简单,也可以是表示另一抽象层的模块。
3. 其他术语
寄存器传输级(RTL):,这是一个常用术语,描述了一种行为建模风格,该风格根据硬件模型内的数据流操作定义输入输出关系。RTL构建体是可综合的。
综合(Synthesis):综合是指将HDL代码转换和优化为特定的电路。例如,查找表和FPGA的触发器。
RTL综合(RTL Synthesis):转换硬件RTL模型到优化的专用门电路的实现,简单理解为RTL模型映射。
图3:RTL综合示例
图3演示了RTL综合的过程。在第一步中,综合引擎使用特定目标器件的架构元素将原始代码转换为硬件逻辑门。然后,它将经过优化阶段,以确保电路描述的最佳实现。在这个特定的例子中,case语句是在一个软件通常推断的多路复用器块内实现的。
4. 典型的RTL综合和RTL仿真流程
Verilog模型可以通过综合仿真两种不同的流程转换,如图下图所示。
图4:典型的RTL综合和RTL仿真流程
在综合流程中,综合编译器(例如Synopsys的Synplify或Altera的Native synthesis Engine)将使用目标器件库中的可用技术,将verilog模型转换并优化为技术特定的网表,该网表可用于定时分析,或放置并路由(映射)到特定器件中。
在仿真流程中,例如使用Mentor Graphics Modelsim,仿真编译器将使用Verilog测试台或通过测试向量提供的激励来仿真Verilog模型。
大多数综合工具也可以写出科综合的Verilog文件,以便设计者在执行放置和布线之前检查综合结果。
5. 模块结构
Verilog HDL模块结构如下所示:
module module (port_list);
---------- // port declarations
---------- // data tpye declarations
---------- // circuit functionality
---------- // timing specifications
endmodule
Verilog HDL模块由关键字module和结endmodule封装,它还由几个主要部分组成。首先是端口列表,它是用模块声明指定的。接下来定义端口。然后在数据类型声明中声明模块中要使用的变量和网络。之后是定义电路功能的代码,最后是是否制定了适用的时序规范仿真环境。
(1)Verilog HDL区分大小写,所有关键字都是小写的;
(2)与C一样,Verilog HDL语句以分号结尾;
(3)单行注释以斜杠开头,而斜线星号用于多行注释的开头,星号斜杠用于多行注释的结尾;
(4)Verilog HDL对空格不敏感,有助于提高可读性。
图5:mult-acc模块Verilog HDL示例
图5为Verilog HDL代码,模块用于生成右侧所示的乘法器-累加器块。
在顶部,声明了mult-acc模块以及输入和输出端口的列表。橙色部分是将在该模块中使用的所有变量和端口的端口和数据类型声明。代码的绿色部分是一个连续的赋值语句,它将被综合到组合加法器中。粉红色部分是顺序时序寄存器的代码。最后,蓝色部分实例化了描述乘法器的另一个模块。
5.1 模块和端口声明
模块以关键字module开头,后跟模块名称。
Verilog HDL模块的第一部分是端口列表。端口列表包含模块的所有输入、输出和双向连接。端口列表位于模块名称后面的括号中。
图6:模块和端口声明示例
在端口列表之后是端口声明部分。本节将每个端口与端口类型相关联。有三种端口类型:输入、输出和双向端口的inout。端口声明部分的结构是端口类型,后跟端口名称。总线有一个方括号,跟在端口类型后面,里面有总线位宽。
图6例子中,ina和inb是8位输入,clk和aclr是1位输入,而out是16位输出总线。使用Verilog2001标准,您可以选择声明端口列表和端口类型以及模块声明。如图7所示,我这样更简洁。
图7:模块和端口声明示例,2001标准
5.2 数据类型
在端口声明部分之后是数据类型声明部分。Verilog HDL有Net和可变数据两种基本数据类型。
5.2.1 Net数据类型
Net数据类型表示进程或功能块之间的物理互连。它们需要不断地被驱动,而不能存储数值。
图8:Net数据类型
以下是综合支持的四种最常见的Net数据类型。
wire表示一个节点或者连接;
tri表示三态节点
supply0表示逻辑“0”;
supply1表示逻辑“1”。
总线声明:
<data_type> [MSB:LSB] <sginal name>
<data_type> [LSB:MSB] <sginal name>
//示例:
wire [7:0] out;
tri enable;
5.2.2 变量数据类型
变量数据类型用于临时存储数据。它们与其他语言中的变量相似。根据使用情况,可变数据类型可以整合为硬件触发器或寄存器或组合节点。
图9:变量数据类型
变量数据类型表示临时存储。它们可以是reg、integer、real、time和realtime类型。
reg类型是任意无符号位大小的变量,使用reg signed可以定义符号变量。
integer表示32位有符号变量。
real、time和realtime仅用于仿真目的,不支持综合。
变量数据类型需要在过程、任务或函数中分配,不能使用连续赋值语句assign来驱动它们。
使用reg数据类型,可以以与Net相同的方式进行总线声明。
reg [MSB:LSB] <sginal name>
reg [LSB:MSB] <sginal name>
//示例:
reg [7:0] out;
integer cnt;
5.3 模块实例化
5.3.1 模块例化格式
一旦一个模块被声明,它可能会通过使用这里的语法在更高级别的模块上实例化。模块例化格式如下:
<componet_name> #<delay> <instance_name> (port_list);
首先是较低级别的组件名称componet_name,这是您声明的组件的名称。
如果希望通过组件表达时间延迟delay,可以使用可选的#构造。这仅用于仿真,而不用于综合。
指定实例名称instance_name,这是应用于组件实例的唯一名称。
最后,指定要连接到较低级别组件的输入和输出的信号列表port_list。
通过实例化模块,您可以创建具有多个层次结构的设计,以实现更容易的可维护性,现代设计通常具有许多层次结构。
5.3.2 模块例化端口连接
将信号连接到较低级别的模块端口时,有两种方法可以定义连接:按信号顺序列表和名称。
图10:模块连接
图10给出的例子中,实例化了半加法器模块的两个实例,以形成一个全加法器。
对于第一个实例u1,使用有序列表方法进行实例化。在这里,通过以与较低级别模块声明中的端口列表相同的顺序列出端口列表,将较高级别的信号连接到半加器模块的端口。端口连接的顺序很重要,所以应该只在端口很少的模块中使用此方法。
对于第二个实例u2,使用connections-by-name方法进行实例化。在这里,已经说明了哪些电线连接到哪个端口。此时端口连接的顺序无关紧要,也可忽略不想连接的某些端口。这是推荐的方法。
5.3.3 例化端口连接规则
进出模块的连接必须遵守某些规则。模块的端口和到模块的连接只能声明为特定的数据类型。
图11:端口连接规则
当将信号连接到较低级别模块的端口时,变量类型数据不能连接到模块的输出或输出,而Net数据类型可以在所有情况下使用。
5.4 参数
参数可用于将值与符号名称相关联,这样可使代码更具有可读性和意义。
parameter size = 8;
localparam outsize = 16;
reg [size-1:0] dataaa,datab;
reg [outsize-1:0] out;
在这里的示例中,我将size和outsize分别声明为解析为8和16的参数。然后在声明变量dataa、datab和out时引用它们。
在编译期间,可以从实例化包含参数的模块的模块重写参数。关键字localparam参数只能用作本地参数。所有类型的参数在编译时解析为常数值,并且在模块执行期间不能更改。
使用Verilog-2001,您可以在声明模块的同时声明变量。
module mult_acc
#(parameter size = 8)
(...);
5.5 数字赋值
数字可以通过两种方式分配给变量,可以调整大小也可以取消大小。如果没有指定数字的大小或格式,它们将默认为32位十进制数字。
数字的格式是大小、进制,然后是实际数字本身。
16'd233 //16bit位宽的十进制数233
8'h9A //8bit位宽16进制
'b1010 //32bit位宽2进制
o'21 //32位宽8进制
16'shFA //有符号数据16bit位宽16进制
如果指定了一个有大小的数字,则必须在进制之前指定数字的宽度(以位为单位)。基本格式可以是d、h、b或o。也可以添加s来表示数字的有符号或2的补码表示。
负数表示:
-8'd3 //8bit负数,存储为3的二进制补码
提高数字可读性:使用下划线"_",例如:
32'h21_66_88_99 //32bit十六进制
数字中的特殊字符表示:"X"表示未知值,"Z"表示高阻抗。
12'h12x //12bit十六进制,LSB未知
1'bz //1bit高阻抗数值
5.6 运算符
运算符如下表所示。
在算术运算符方面,Verilog定义了加法、减法、乘法、除法、模和指数。某些综合工具可能不支持除法或指数。只有当第二个操作数是常量时,其他操作数才支持它们。
运算符将输入向量视为一个整数。因此,如果Z或X值出现在部分操作数中,结果将是未知的。例如表中,ain+din=>未知。
此外,如果结果向量与操作数大小相同,则进位可能存在丢失。
5.7 位算符
位运算符如下表所示。
Verilog HDL的位运算符可以是一元运算符或二进制运算符,它们包括反转、和、或、异或或和同或。这些运算符对操作数的每个位进行运算。如果操作数大小不同,则较小的操作数左扩展,结果为最大操作数的大小。
5.8 归约运算符
归约运算符如下表所示。
归约运算符是将向量归约为单个位的一元运算。Verilog支持and、nand、or、nor、xor和xnor归约运算符。
这些运算符中的每一个都会产生一个单比特结果。即使“X”和“Z”是未知值,结果可能仍然是已知的。例如,如果“and”向量中有一个零,则无论是否存在“X”或“Z”位,结果都将为0。
5.9 关系运算符
相等运算符如下表所示。
关系运算符用于比较操作数,它们返回一个值。以下是Verilog HDL支持的关系运算符:大于、小于、大于或等于以及小于或等于。
结果为true或false,由“1”或“0”表示。如果任一操作数包含“Z”或“X”,则结果将是未知的。
5.10 相等运算符
相等运算符如下表所示。
与关系运算符一样,等式运算符也用于比较值。它们返回一位真值或假值。Verilog HDL支持4个相等运算符:相等、不相等、大小写相等和大小写不相等。
相等运算符只支持已知值“1”和“0”,所以如果操作数中有x或z,结果将是未知的。
5.11 逻辑运算符
逻辑运算符如下表所示。
逻辑运算符可以是一元运算符,也可以是二进制运算符。
Verilog HDL支持not true、logic and和logic or。这些运算符通常用于“if”和“while”语句中。这些运算符返回一位true或false结果。操作数中出现“Z”或“X”位将导致未知结果。
5.12 移位运算符
移位运算符如下表所示。
支持Shift right和Shift left运算符。这些运算符将矢量向左或向右移动指定数量的位。
对于左移位,空出的位置用零填充,并且移位的比特丢失。对于右移,逻辑和算术无符号移位将用零填充,而算术有符号移位将使用符号位值填充。
5.13 混合运算符
混合运算符如下表所示。
条件运算符的作用类似于if-then语句。
串联运算符将两个或多个向量组合成一个更大的向量。
复制操作符获取一个矢量并复制指定次数。
5.14 操作运算符优先级
操作运算符优先级如下图所示。
当您同时使用多个运算符时,建议使用圆括号对操作进行分组以进行增强理解性和可读性。
如果括号不存在,您可以在这里看到verilog定义的运算符的优先级。一元运算符具有最高优先级。
欢迎关注FPGA技术实战公众号,喜欢就多多转发吧!