Verilog 食用指南
在阅读 Verilog 指南之前,还是强烈建议学习 Chisel,毕竟 Verilog 的阻塞赋值和非阻塞赋值就已经够让初学者犯错的了,而 Chisel 中不会有这么多奇奇怪怪的小毛病。
在阅读本文时发现的所有问题欢迎联系作者修复!非常感谢!
认识 Verilog
数字电路学习资料
- 数字电路与计算机体系结构 1-5 章节
- Verilog 在线学习网站,推荐边看书边练手
- 中科大的 Verilog OJ 平台(需要注册并登录),推荐边看书边练手
- 《CPU 设计实战- 汪文祥 & 邢金璋》第 3 章节
一、什么是 Verilog
Verilog 是一种硬件描述语言,用于描述和设计数字电路。它是一种结构化的编程语言,用于描述电子系统的行为和结构,以实现硬件设计和验证。
Verilog 是一种并发执行的语言,可以描述并行运行的硬件电路。Verilog 中的模块可以以并行的方式执行,模块内的语句可以同时进行计算。而 C 语言等非硬件描述性编程语言是一种顺序执行的语言,语句按照顺序逐步执行。因此,在编写 Verilog 时,需要将原先 C 语言的一些思想抛弃,投入并行的怀抱。
二、面向硬件电路的设计思维方式
- 并行和并发思维: 硬件电路是并行执行的,多个电路元件可以同时工作。因此,在硬件设计中,需要考虑如何利用并行性和并发性,以实现高效的电路功能。
- 抽象和模块化思维: 硬件设计通常涉及复杂的电路结构和功能,因此,将电路设计分解为可管理的模块是很重要的。通过抽象和模块化思维,可以将复杂的电路问题分解为更小的部分,并逐步解决每个模块的设计和验证。
- 时序和同步思维: 时序是硬件设计中至关重要的概念。在考虑电路的功能时,需要仔细考虑元件之间的时序关系,包括时钟信号、触发器和时序逻辑等。同步思维强调设计中的时钟域和同步约束,确保电路的正确时序行为。
- 优化和资源利用思维: 硬件资源是有限的,因此,在设计电路时需要考虑如何优化资源的使用。这包括选择合适的元件、减少功耗、提高性能和资源共享等方面的思考。优化和资源利用思维可以帮助设计出更高效、更紧凑的电路。
- 可靠性和容错思维: 硬件电路通常要求高度可靠,能够在各种条件下正常工作。因此,设计时需要考虑如何处理异常情况、提供容错机制和错误检测、纠正等。可靠性和容错思维可以帮助设计出更稳定和可靠的电路。
- 测试和验证思维: 在硬件设计中,测试和验证是关键步骤,用于验证电路的正确性和性能。测试和验证思维强调设计过程中的测试计划、测试向量生成、仿真和验证技术等。通过充分考虑测试和验证,可以提高电路设计的质量和可靠性。
需要掌握的面向硬件电路的设计思维方式的核心实际上就是“数据通路(Datapath)+控制逻辑(Control Logic)”。**一定要先将电路设计想清楚,再开始写代码。建议采取“自顶向下、模块划分、逐层细化”的设计步骤。**当硬件的大致结构图已经被构思完毕,写代码实际上就是把结构图里的线一根根实现的过程。
三、程序的基本结构
此处假设读者已经有了 C 语言的基础,那么通过阅读代码其实是学习另一门语言最方便的途径。
Verilog 是区分大小写的。格式自由,可以在一行内编写,也可跨多行编写。每个语句必须以分号为结束符。空白符(换行、制表、空格)都没有实际的意义,在编译阶段可忽略。适当的进行换行和缩进有利于代码的阅读。
下面是实现二选一数据选择器的一个简单的例子。同时这里也将介绍 Verilog 的三种建模方式。
1 |
|
上面的代码简明的描述了一个两路的数据选择器的实现。
现在已经成功实现了一个二选一数据选择器,可以基于它实现一个四选一数据选择器。
当 s1 和 s0 分别为 00、01、10、11 时可以分别选择 w0、w1、w2、w3。
1 |
|
四、数据类型
基本数据类型包括了 wire 类型和 reg 类型。这里只介绍几种常用的数据类型,想了解更多的类型可以上网查阅。
下面也以实例进行介绍。
整数常量
整数常量的格式如下:
例子如:
1 |
|
其中 8'b00100101
就是整数常量;当没有指定位宽时,综合器会自己自动判断位宽;当没有指定进制时,默认为十进制。
wire 类型
wire 类型代表了在硬件电路中的连线,其特征就是输出的值紧随着输入值的变化而变化。
1 |
|
c 的值会伴随着 a、b 的变化瞬间发生变化。
reg 类型
reg 数据类型会放到过程语句中(例如 always),通过过程赋值语句进行赋值。reg 类型不一定必然会对应到硬件的寄存器,综合的时候会依据实际的情况使用连线或者寄存器来完成 reg 数据类型的功能。
1 |
|
a 的值只会在 clock 上跳沿来时发生变化,当 clock 不变时,a 的值也不会发生变化。
1 |
|
这是之前见过的行为建模的 Mux,此处的 y 虽然定义的是 reg 类型,最后经过综合后,y 实际上是线网类型,毕竟 Mux 是组合逻辑电路,怎么可能会包含寄存器呢。
向量
wire 类型的向量:
1 |
|
reg 类型的向量:
1 |
|
数组
在 Verilog 中允许声明 reg, wire 等类型及其向量类型的数组。
数组维数没有限制。线网数组也可以用于连接实例模块的端口。数组中的每个元素都可以作为一个标量或者向量,以同样的方式来使用,形如:<数组名>[<下标>]。
数组的定义:
1 |
|
数组的赋值:
1 |
|
参数
参数可以使得模块更具有拓展性,下面是一个简单的例子:
1 |
|
五、运算符
Verilog 提供了一系列运算符,用于在硬件描述中执行各种算术、逻辑和位操作。以下是 Verilog 中常见的运算符类型:
-
算术运算符:
-
+
:加法运算符。 -
-
:减法运算符。 -
*
:乘法运算符。 -
/
:除法运算符。 -
%
:取模(取余)运算符。注:
*
,/
,%
一般不用在电路设计中,因为他们会被综合器综合成一个时序很差的电路,大大影响硬件性能。
-
-
位操作运算符:
&
:按位与运算符。|
:按位或运算符。^
:按位异或(XOR)运算符。~
:按位取反运算符。<<
:左移运算符。>>
:右移运算符。
-
逻辑运算符:
&&
:逻辑与运算符。||
:逻辑或运算符。!
:逻辑非运算符。
-
比较运算符:
==
:等于运算符。!=
:不等于运算符。>
:大于运算符。<
:小于运算符。>=
:大于等于运算符。<=
:小于等于运算符。
-
赋值运算符:
=
:阻塞赋值运算符。<=
:非阻塞赋值运算符。
-
条件运算符:
? :
:条件运算符 (ternary operator),也称为三元运算符。例如:a ? b : c
表示如果a
为真,则结果为b
,否则结果为c
。
此外,Verilog 还提供了其他运算符,如拼接运算符 {}
, 重复运算符 {}
, 范围运算符 []
等,用于位操作和信号处理。
1 |
|
上面只是 Verilog 中一些常见的运算符类型,根据具体需求和应用,可能会使用更多的运算符。请在编写代码时参考 Verilog 语言规范以获取完整的运算符列表和详细的语法规则。
运算符优先级
运算符 | 优先级 |
---|---|
+, -, !, ~(一元操作) | 最高 |
** | |
*, /, % | |
+, -(二元操作) | |
<<, >>, <<<, >>> | |
<, <=, >, >= | |
==, !=, ===, !== | |
&, ~& | |
^, ^~, ~^ | |
|, ~| | |
&& | |
|| | |
? : | 最低 |
需要注意的是,Verilog 中的运算符可能具有不同的优先级和结合性。
1 |
|
为了确保表达式的正确求值,可以使用括号来明确运算符的优先级和结合性。
六、赋值语句
赋值语句可以说是任何一门编程语言的最基本的部分。在 Verilog 中,赋值语句包括了持续赋值语句和过程赋值语句。持续赋值语句在过程外使用,与过程语句并行执行。过程赋值语句在过程内使用,串行执行,用于描述过程的功能。
持续赋值语句
在 Verilog 中使用 assign 作为持续赋值语句使用,用于对 wire 类型的变量进行赋值。其对应的硬件也非常好理解,即通过对输出进行赋值,当输入变化的时候,经过一定的延迟,输出就会按照 assign 所描述的那样发生变化。
例如:
1 |
|
在这个例子中,输入 in0 和 in1,输出 out 都是 wire 类型的变量。当两个输入的任意一个发生变化的时候,输出 out 都会发生变化。
当然,这样的一个变化不会是立即的,而是需要经过一定的延迟,因为任何一种电路都会有延迟。
在一个模块中,可以有多个 assign 的持续赋值语句,这些持续赋值都是并行执行的,一旦赋值语句中的任何信号发生变化,那么这个赋值语句的输出信号(赋值等号的左边那个信号)就会跟着变化。
一个模块的持续赋值语句和前面所说的 always 过程语句都是可以出现多次的,他们之间的执行关系也是并行的,对应于电路上的信号值的变化。不同的是 assign 持续赋值语句由于表达能力的限制,只能反映一些简单的变化,而 always 过程语句则可以复杂很多,用以描述复杂的输出信号和输入信号的关系。
过程赋值语句
在过程里面的赋值语句被称为是过程赋值语句,一般用来对 reg 类型的变量进行赋值。
在 always 里使用的语句就是过程赋值语句,只有 reg 类型的变量才能在 always 语句中被赋值。
过程赋值语句分为两种类型,一个是非阻塞赋值语句(<=),一个是阻塞赋值语句(=)。一定要注意对这两种赋值语句的区分,很多的 bug 可能就是过程赋值语句写错导致的。下面介绍一下他们的区别:
1. 非阻塞赋值语句(<=)
非阻塞赋值语句在赋值语句出现的地方不是立即发生的,而是等到整个过程块结束的时候才发生。由于不是立即发生的,在过程内的描述中,仿佛这条语句不存在一样,因此被称为是非阻塞的。只是在过程的最后会执行所有的非阻塞赋值语句,在这个执行的过程中,所有的右值会维持原来的值不变。
1 |
|
在这串代码中,经过 rst 重置,a、b、result 的值为 0。
此时若在 clk 上跳沿来时,输入 in 为 1 的值:此时,a、b 和 result 会同步被赋值分别为 1、0、0;下一拍输入 in 为 0,此时 a、b 和 result 分别为 0、1、0。这个模块相当于实现了一个延迟输出的功能,每个 in 信号要经过 3 个 clk 后才能传递出来。
需要好好思考一下同步赋值的概念。这和 C 语言里的串行运行的概念十分不同。
再看下面这个例子可能更加容易理解:
1 |
|
这串代码实现的功能是,每个 clk 上跳沿来时,a 和 b 的值会互相交换;假如 a 和 b 分别为 0 和 1,当 clk 上跳沿来时,a、b 会被赋值为 1 和 0;
2. 阻塞赋值语句(=)
阻塞赋值语句在赋值语句出现的地方就立即完成赋值操作,左值立刻发生变化。一个块语句中存在多条阻塞赋值语句的话,这些阻塞赋值语句会按照先后顺序关系,一条一条的执行,前面的赋值语句没有执行完,后面的赋值语句不会执行。这样的一种行为模式,就跟网络 IO 编程中的阻塞函数调用方式一样,一定要完成函数执行之后,这个函数调用才会退出。
下面再来看看和刚刚类似的例子:
1 |
|
将非阻塞赋值语句改成阻塞赋值语句后,此处的赋值操作是串行赋值的。当 clk 上跳沿来时,a 先赋值为 in,等 a 赋值完后,b 赋值为 a 的值也就是 in,result 同理也赋值为 in 的值。此处的赋值顺序就和 C 语言中语句的执行顺序一致。
1 |
|
使用阻塞赋值语句,就不能实现之前那样交换信号值的功能了。a 和 b 的值会一直相等。
3. 建议
always 语句块有两种形式:
1 |
|
建议在时序逻辑电路中只使用非阻塞赋值语句(<=)进行赋值,在组合逻辑电路中只使用阻塞赋值语句(=)进行赋值,这样可以大大减小出 bug 的几率。
七、过程语句
以 always 为标志的是 Veilog 的过程语句,其有两种形式:
1 |
|
在时序逻辑中使用 posedge 或 negedge 表示上跳沿触发或下跳沿触发。
建议在编写的代码中尽量只使用一种触发类型,如上跳沿触发或者下跳沿触发。混用两种触发类型会大大降低硬件的性能。
条件语句
begin,end 就类似于 C 语言中的大括号,用于表示一个语句块。
条件语句在组合逻辑或者时序逻辑中都可以使用。
1. if 语句
1 |
|
2. case 语句
1 |
|
循环语句
循环语句的用法和 C 语言类似:
1 |
|
八、建模方式
下面将更详细得介绍 Verilog 经典的三种建模方式,只需要稍加了解即可,因为在实际编写代码时,需要灵活的选用各种方法,没必要将他们分的那么开,在不同的场景不同的方法各有优势。
1. 数据流建模
数据流建模是基于信号传输和逻辑运算的思想,通过描述信号之间的流动和逻辑关系来建立数字电路的模型。在 Verilog 中,可以使用连续赋值语句来实现数据流建模。
数据流建模中的连续赋值语句使用赋值操作符 =
,将右侧的表达式的值赋给左侧的信号。这种赋值是连续进行的,即当右侧的信号发生变化时,左侧的信号会立即更新。
以下是一个简单的 Verilog 模块,使用数据流建模方式描述一个 2 输入 AND 门的功能:
1 |
|
在上述代码中,a
和 b
是输入信号,y
是输出信号。assign
语句将 y
赋值为 a & b
,表示 y
的值等于 a
和 b
的逻辑与运算结果。
**在数据流建模中,信号之间的连接关系可以使用逻辑运算符和位运算符来描述。**常见的逻辑运算符包括与(&
)、或(|
)、非(~
)等,而位运算符包括位与(&
)、位或(|
)、位异或(^
)等。
通过使用 Verilog 的数据流建模,设计人员可以方便地描述和模拟数字电路的行为,从而实现功能验证和性能评估。
2. 结构建模
在 Verilog 中,可以使用实例化和端口连接的方式来实现结构建模。通过实例化,可以将已定义的模块实例化为具体的组件,并在实例化过程中连接各个组件的输入和输出端口。
结构建模的特征就是模块的逐级实例化,有点像搭积木,先设计一个小的模块,再逐渐搭出大的模块。
以下是一个简单的 Verilog 模块,使用结构建模方式描述一个 4 输入 AND 门的功能:
1 |
|
在上述代码中,使用 Verilog 自带的门语句实例化了 3 个与门,这种方式实现了一个 4 输入的与门。还可以通过这种方式,实例化两个已经实现的 4 输入与门,将其拼接得到一个 8 输入的与门。代码类似下面这样。接着你又可以实现一个 16 输入的与门……
1 |
|
通过结构建模,可以将数字电路分解为多个模块,并在层次结构中进行连接。这种模块化的设计方式使得电路的描述更加清晰和可维护,并且方便进行功能验证和调试。
除了实例化和端口连接,Verilog 还提供了其他的结构建模方式,如使用连接运算符 {}
进行信号连接,使用 wire
和 reg
声明中间信号等。这些方法可以根据具体的设计需求和设计风格进行选择和组合使用。
通过使用 Verilog 的结构建模,设计人员可以将数字电路按照模块化和层次化的方式进行描述,提高设计的可读性和可维护性,同时也方便进行功能验证和性能评估。
3. 行为建模
相比于前两种建模方式,行为建模用于描述数字电路的功能和操作,而不关注电路的具体结构和连线细节。它着重于描述电路的行为,包括组合逻辑和时序逻辑。对于复杂的硬件逻辑设计来说,使用行为级描述更为妥当,即直接描述出硬件所需要完成的功能,而不需要考虑这些硬件具体是如何实现的。具体如何实现交给 EDA 综合软件去做。
Verilog 的行为建模可以分为两种类型:组合逻辑行为建模和时序逻辑行为建模。
-
组合逻辑行为建模:
组合逻辑行为建模用于描述电路中的组合逻辑部分,其中输出仅依赖于当前的输入。在组合逻辑行为建模中,可以使用always
块和assign
语句。以下是使用组合逻辑行为建模实现的一个二选一的数据选择器,当
sel
为 0 时y
的输出等于a
;sel
为 1 时为b
:1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24module Mux2to1(
input wire a,
input wire b,
input wire sel,
output wire y
);
reg f; // f是寄存器类型的输出信号,在always语句块中只有reg类型可以被赋值
always @( * ) begin
case (sel)
1'b0:
f = a; // 注意此处的赋值是使用等号的,与时序逻辑中的小于等于号不同
1'b1:
f = b;
default:
f = 1'bx; // 默认情况下,输出为未知(高阻态)
endcase
end
assign y = f;
endmodule -
时序逻辑行为建模:
时序逻辑行为建模用于描述电路中的时序逻辑部分,其中输出不仅依赖于当前的输入,还依赖于过去的输入或电路内部的状态。在时序逻辑行为建模中,可以使用always
块和时序控制语句(如if
语句、case
语句等)。以下是一个使用时序逻辑行为建模的例子,描述了一个简单的时序电路,其中输出取决于当前输入和过去的输入:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17module SequentialLogic(
input wire clk,
input wire reset,
input wire data,
output reg q // 也可以直接将输出定义为reg类型
);
always @(posedge clk, posedge reset) // 注意此处括号内与组合逻辑行为建模的不同
begin
if (reset) // 当时钟信号clk上升沿到来时,如果reset为高电平,则将输出q赋值为低电平;
q <= 1'b0; // 注意此处使用小于等于号
else // 否则,将输出q赋值为输入data的值。
q <= data;
end
endmodule
通过行为建模,设计人员可以更直观地描述数字电路的功能和操作,不需要关注具体的电路结构和连线细节。行为建模适用于功能验证、仿真和高层次的电路描述。
4. 总结
结构建模直接描述了硬件电路的结构,最为具体,但是不够抽象。数据流建模更加接近传统的逻辑设计,抽象程度中等。行为级描述只需要抽象描述一个硬件的功能单元完成什么样的功能即可,不需要说明硬件是如何构造的,最为抽象。在实际的设计过程中,这三种方式可以互相混合使用,针对不同的电路可以选择不同的描述方式。
九、仿真
可以使用 iverilog 搭配 gtkwave 进行 Verilog 的仿真。其他的仿真工具还有 varilator、vivado 等。
一个简单的仿真例子
先在 vscode 中安装 digital ide 插件,按里面的要求完成相关配置。你还需要安装 iverilog 安装时会提醒你安装 gtkwave,且安装时可以一键加入环境变量,十分方便。
在安装完后点击左栏中的 Digital-IDE 图标。
此时右下角会弹出这样的选项框,点击 Yes。如果没弹出来,可以重启 vscode 试试。
此时文件目录被更新成这样:
你可以按照插件文档修改 property.json 文件进行个性化配置。这里按默认进行示例展示:
在 src 中添加 Verilog 代码。这里用四输入与门进行简单的实例。
按下 F1 输入 testbench:
选中需要生成的模块:
也可以右键快速生成:
这时生成的 testbench 会被添加到 sim 文件夹中:
删去无用的信号,将 testbench.v 修改成需要的测试代码。
1 |
|
修改完代码之后,右键选择仿真按钮:
这时当前文件夹下会生成 wave.vcd 文件。
此时需要使用 gtkwave 工具将该文件打开。在终端中输入 gtkwave.exe user/sim/wave.vcd
此时系统会使用 gtkwave 软件打开该波形文件。
观察波形可以发现只有在 a、b、c、d 均为 1 时,y 才为 1,可见与门的实现是正确的。
其他
当输入信号很多的时候,上面的那种写法肯定不合适了,因此还需要查阅资料,拓展一下这方面的知识
经过仿真的例子应该简单了解了 Digital Ide 插件的便利之处。下面可以仔细阅读配置文件,配置好编程环境,所谓工欲善其事必先利其器,好的工具能大大加速开发效率。
十、一些建议和提醒
Verilog 是一种可以用于仿真的语言,其中只有一部分可以被综合,一定要注意切勿将仿真相关的语句写入代码中。
在 CPU 设计中以及一般的硬件设计中,有一些必须遵守的硬性规定,包括:
1)代码中禁止出现 initial 语句。
2)代码中禁止出现 casex、casez。
3)代码中禁止用“#”表达电路延迟。
4)时钟信号 clock 只允许出现在 always@(posedge clock)语句中。
5)代码中所有带复位的触发器,要么全部是同步复位,要么全部是异步复位。
6)组合逻辑电路使用“=”赋值,时序逻辑电路使用“<=”赋值。
所有的组合逻辑电路均可以通过 assign 命令实现,建议实现组合逻辑电路时避免使用 always 块。下面是一个简单的例子。
下面使用 always 块实现了一个简单的移位器,虽然输出是 reg 类型,但是最后被综合出的电路是组合逻辑电路,这是一个使用 Verilog 容易被误导的地方。
1 |
|
下面是使用 assign 命令实现的具有相同功能的移位器:
1 |
|
但是上述例子的输出 b 引入了不必要的优先级关系,实际上并不完全等价于使用 always 块实现的移位器,但是只要对输出做如下修改,就可以实现相同的功能:
1 |
|
采用这种写法后,输出 b 的赋值语句就不再包含优先级关系,成功实现了与使用 always 块实现的移位器相同的功能,并且输出 b 也被定义为 wire 类型,更符合硬件设计的规范。