verilog hdl简明教程(2)-九游会j9

第二章 hdl指南

模块

模块是verilog 的基本描述单位，用于描述某个设计的功能或结构及其与其他模块通信的外部端口。一个设计的结构可使用开关级原语、门级原语和用户定义的原语方式描述; 设计的数据流行为使用连续赋值语句进行描述; 时序行为使用过程结构描述。一个模块可以在另一个模块中使用。

一个模块的基本语法如下：
module module_name (port_list);
declarations:
reg, wire, parameter,
input, output, inout,
function, task, . . .
statements:
initial statement
always statement
module instantiation
gate instantiation
udp instantiation
continuous assignment
endmodule
说明部分用于定义不同的项，例如模块描述中使用的寄存器和参数。语句定义设计的功能和结构。说明部分和语句可以散布在模块中的任何地方；但是变量、寄存器、线网和参数等的说明部分必须在使用前出现。为了使模块描述清晰和具有良好的可读性, 最好将所有的说明部分放在语句前。本书中的所有实例都遵守这一规范。
以下为建模一个半加器电路的模块的简单实例。
module halfadder (a, b, sum, carry);
input a, b;
output sum, carry;
assign #2 sum = a ^ b;
assign #5 carry = a b;
endmodule
模块的名字是halfadder。 模块有4个端口: 两个输入端口a和b，两个输出端口sum和carry。由于没有定义端口的位数, 所有端口大小都为1位；同时, 由于没有各端口的数据类型说明, 这四个端口都是线网数据类型。
模块包含两条描述半加器数据流行为的连续赋值语句。从这种意义上讲，这些语句在模块中出现的顺序无关紧要，这些语句是并发的。每条语句的执行顺序依赖于发生在变量a和b上的事件。
在模块中，可用下述方式描述一个设计：
1) 数据流方式;
2) 行为方式;
3) 结构方式;
4) 上述描述方式的混合。
下面几节通过实例讲述这些设计描述方式。不过有必要首先对verilog hdl的时延作简要介绍。

时延

verilog hdl模型中的所有时延都根据时间单位定义。 下面是带时延的连续赋值语句实例。
assign #2 sum = a ^ b;
#2指2个时间单位。
使用编译指令将时间单位与物理时间相关联。这样的编译器指令需在模块描述前定义，如下所示:
` timescale 1ns /100ps
此语句说明时延时间单位为1ns并且时间精度为100ps (时间精度是指所有的时延必须被限定在0.1ns内)。 如果此编译器指令所在的模块包含上面的连续赋值语句, #2 代表2ns。
如果没有这样的编译器指令, verilog hdl 模拟器会指定一个缺省时间单位。ieee verilog hdl 标准中没有规定缺省时间单位。

数据流描述方式
用数据流描述方式对一个设计建模的最基本的机制就是使用连续赋值语句。在连续赋值语句中，某个值被指派给线网变量。 连续赋值语句的语法为:
assign [delay] lhs_net = rhs_ expression;
右边表达式使用的操作数无论何时发生变化, 右边表达式都重新计算, 并且在指定的时延后变化值被赋予左边表达式的线网变量。时延定义了右边表达式操作数变化与赋值给左边表达式之间的持续时间。如果没有定义时延值, 缺省时延为0。
下面的例子显示了使用数据流描述方式对2-4解码器电路的建模的实例模型。
`timescale 1ns/ 1ns
module decoder2x4 (a, b, en, z);
input a, b, en;
output [ 0 :3] z;
wire abar, bbar;
assign #1 abar = ~ a; / / 语句 1。
assign #1 bbar = ~ b; / / 语句 2。
assign #2 z[0] = ~ (abar bbar en) ; / / 语句 3。
assign #2 z[1] = ~ (abar b en) ; / / 语句 4。
assign #2 z[2] = ~ (a bbar en) ; / / 语句 5。
assign #2 z[3] = ~ (a b en) ; / / 语句 6。
endmodule
以反引号“ ` ”开始的第一条语句是编译器指令, 编译器指令`timescale 将模块中所有时延的单位设置为1 ns，时间精度为1 ns。例如，在连续赋值语句中时延值#1和#2分别对应时延1 ns和2 ns。
模块decoder2x4有3个输入端口和1个4位输出端口。线网类型说明了两个连线型变量abar和bbar (连线类型是线网类型的一种)。此外，模块包含6个连续赋值语句。
当en在第5 ns变化时,语句3、4、5和6执行。这是因为en是这些连续赋值语句中右边表达式的操作数。z[0]在第7 ns时被赋予新值0。当a在第15 ns变化时, 语句1、5和6执行。执行语句5和6不影响z[0]和z[1]的取值。执行语句5导致z[2]值在第17 ns变为0。执行语句1导致abar在第16 ns被重新赋值。由于abar的改变，反过来又导致z[0]值在第18 ns变为1。
请注意连续赋值语句是如何对电路的数据流行为建模的；这种建模方式是隐式而非显式的建模方式。此外,连续赋值语句是并发执行的，也就是说各语句的执行顺序与其在描述中出现的顺序无关。

行为描述方式

设计的行为功能使用下述过程语句结构描述：
1) initial语句：此语句只执行一次。
2) always语句：此语句总是循环执行, 或者说此语句重复执行。
只有寄存器类型数据能够在这两种语句中被赋值。寄存器类型数据在被赋新值前保持原有值不变。所有的初始化语句和always语句在0时刻并发执行。
下例为always语句对1位全加器电路建模的示例。
module fa_seq (a, b, cin, sum, cout);
input a, b, cin;
output sum, cout;
reg sum, cout;
reg t1, t2, t3;
always
@ ( a or b or cin ) begin
sum = (a ^ b) ^ cin;
t1 = a cin;
t2 = b cin;
t3 = a b;
cout = (t1| t2) | t3;
end
endmodule
模块fa_seq 有三个输入和两个输出。由于sum、cout、t1、t2和t3在always 语句中被赋值,它们被说明为 reg 类型(reg 是寄存器数据类型的一种)。always 语句中有一个与事件控制(紧跟在字符@ 后面的表达式)。相关联的顺序过程(begin-end对)。这意味着只要a、b或cin 上发生事件，即a、b或cin之一的值发生变化，顺序过程就执行。在顺序过程中的语句顺序执行，并且在顺序过程执行结束后被挂起。顺序过程执行完成后，always 语句再次等待a、b或cin上发生的事件。
在顺序过程中出现的语句是过程赋值模块化的实例。模块化过程赋值在下一条语句执行前完成执行。过程赋值可以有一个可选的时延。
时延可以细分为两种类型:
1) 语句间时延: 这是时延语句执行的时延。
2) 语句内时延: 这是右边表达式数值计算与左边表达式赋值间的时延。
下面是语句间时延的示例：
sum = (a ^ b) ^ cin;
#4 t1 = a cin;
在第二条语句中的时延规定赋值延迟4个时间单位执行。就是说，在第一条语句执行后等待4个时间单位，然后执行第二条语句。下面是语句内时延的示例。
sum = #3 (a^ b) ^ cin;
这个赋值中的时延意味着首先计算右边表达式的值, 等待3个时间单位，然后赋值给sum。
如果在过程赋值中未定义时延，缺省值为0时延，也就是说，赋值立即发生。这种形式以及在always 语句中指定语句的其他形式将在第8章中详细讨论。
下面是initial语句的示例：
`timescale 1ns / 1ns
module test (pop, pid);
output pop, pid;
reg pop, pid;
initial
begin
pop = 0; // 语句 1。
pid = 0; // 语句 2。
pop = #5 1; // 语句 3。
pid = #3 1; // 语句 4。
pop = #6 0; // 语句 5。
pid = #2 0; // 语句 6。
end
endmodule
initial语句包含一个顺序过程。这一顺序过程在0 ns时开始执行，并且在顺序过程中所有语句全部执行完毕后, initial语句永远挂起。这一顺序过程包含带有定义语句内时延的分组过程赋值的实例。语句1和2在0 ns时执行。第三条语句也在0时刻执行,导致pop 在第5 ns时被赋值。语句4在第5 ns执行,并且pid 在第8 ns被赋值。同样，pop在14 ns被赋值0，pid在第16 ns被赋值0。第6条语句执行后，initial语句永远被挂起。

结构化描述形式

在verilog hdl中可使用如下方式描述结构:
1) 内置门原语(在门级)；
2) 开关级原语(在晶体管级)；
3) 用户定义的原语(在门级)；
4) 模块实例 (创建层次结构)。
通过使用线网来相互连接。下面的结构描述形式使用内置门原语描述的全加器电路实例。
module fa_str (a, b, cin, sum, cout);
input a, b, cin;
output sum, cout;
wire s1, t1, t2, t3;
xor
x1 (s1, a, b),
x2 (sum, s1, cin);
and
a1 (t3, a, b),
a2 (t2, b, cin),
a3 (t1, a, cin),
or
o1 (cout, t1, t2, t3);
endmodule
在这一实例中，模块包含门的实例语句，也就是说包含内置门xor、and和or 的实例语句。门实例由线网类型变量s1、t1、t2和t3互连。由于没有指定的顺序, 门实例语句可以以任何顺序出现；图中显示了纯结构；xor、and和or是内置门原语；x1、x2、a1等是实例名称。紧跟在每个门后的信号列表是它的互连；列表中的第一个是门输出，余下的是输入。例如，s1与xor 门实例x1的输出连接，而a和b与实例x1的输入连接。
4位全加器可以使用4个1位全加器模块描述。下面是4位全加器的结构描述形式。
module fourbitfa (fa, fb, fcin, fsum, fcout );
parameter size = 4;
input [size:1] fa, fb;
output [size:1] fsum
input fcin;
input fcout;
wire [ 1: size－1] ftemp;
fa_str
fa1( .a (fa[1]), .b(fb[1]), .cin(fcin),
.sum(fsum[1]), .cout(ftemp[2])),
fa2( .a (fa[2]), .b(fb[2]), .cin(ftemp[1]),
.sum(fsum[2]), .cout(ftemp[2])),
fa3(fa[3], fb[3], ftemp[2], fsum[3], ftemp[3],
fa4(fa[4], fb[4], ftemp[3], fsum[4], fcout);
endmodule
在这一实例中，模块实例用于建模4位全加器。在模块实例语句中，端口可以与名称或位置关联。前两个实例fa1和fa2使用命名关联方式，也就是说，端口的名称和它连接的线网被显式描述（每一个的形式都为“.port_name (net_name)）。最后两个实例语句，实例fa3和fa4使用位置关联方式将端口与线网关联。这里关联的顺序很重要，例如，在实例fa4中，第一个fa[4]与fa_str 的端口a连接，第二个fb[4]与fa_str 的端口b连接，余下的由此类推。

混合设计描述方式

在模块中，结构的和行为的结构可以自由混合。也就是说，模块描述中可以包含实例化的门、模块实例化语句、连续赋值语句以及always语句和initial语句的混合。它们之间可以相互包含。来自always语句和initial语句（切记只有寄存器类型数据可以在这两种语句中赋值）的值能够驱动门或开关，而来自于门或连续赋值语句（只能驱动线网）的值能够反过来用于触发always语句和initial语句。
下面是混合设计方式的1位全加器实例。
module fa_mix (a, b, cin, sum, cout);
input a,b, cin;
output sum, cout;
reg cout;
reg t1, t2, t3;
wire s1;
xor x1(s1, a, b); // 门实例语句。
always
@ ( a or b or cin ) begin // always 语句。
t1 = a cin;
t2 = b cin;
t3 = a b;
cout = (t1| t2) | t3;
end
assign sum = s1 ^ cin; // 连续赋值语句。
endmodule
只要a或b上有事件发生，门实例语句即被执行。只要a、b或cin上有事件发生，就执行always 语句，并且只要s1或cin上有事件发生，就执行连续赋值语句。

设计模拟

verilog hdl不仅提供描述设计的能力，而且提供对激励、控制、存储响应和设计验证的建模能力。激励和控制可用初始化语句产生。验证运行过程中的响应可以作为“变化时保存”或作为选通的数据存储。最后，设计验证可以通过在初始化语句中写入相应的语句自动与期望的响应值比较完成。
下面是测试模块top的例子。该例子测试2.3节中讲到的fa_seq模块。
‘timescale 1ns/1ns
module top; // 一个模块可以有一个空的端口列表。
reg pa, pb, pci;
wire pco, psum;
// 正在测试的实例化模块：
fa_seq f1(pa, pb, pci, psum, pco); // 定位。
initial
begin: only_once
reg [3:0] pal;
//需要4位, pal才能取值8。
for (pal = 0; pal 8; pal = pal 1)
begin
{pa, pb, pci} = pal;
#5 $display (“pa, pb, pci = %b%b%b”, pa, pb, pci,
“ : : : pco, psum=%b%b”, pco, psum);
end
end
endmodule
在测试模块描述中使用位置关联方式将模块实例语句中的信号与模块中的端口相连接。也就是说，pa连接到模块fa_seq的端口a，pb连接到模块fa_seq的端口b，依此类推。注意初始化语句中使用了一个for循环语句，在pa、pb和pci上产生波形。for 循环中的第一条赋值语句用于表示合并的目标。自右向左，右端各相应的位赋给左端的参数。初始化语句还包含有一个预先定义好的系统任务。系统任务$display将输入以特定的格式打印输出。
系统任务$display调用中的时延控制规定$display任务在5个时间单位后执行。这5个时间单位基本上代表了逻辑处理时间。即是输入向量的加载至观察到模块在测试条件下输出之间的延迟时间。
这一模型中还有另外一个细微差别。pal在初始化语句内被局部定义。为完成这一功能，初始化语句中的顺序过程（begin-end）必须标记。在这种情况下, only_once是顺序过程标记。如果在顺序过程内没有局部声明的变量，就不需要该标记。下面是测试模块产生的输出。
pa, pb, pci = 000 ::: pco, psum = 00
pa, pb, pci = 001 ::: pco, psum = 01
pa, pb, pci = 010 ::: pco, psum = 01
pa, pb, pci = 011 ::: pco, psum = 10
pa, pb, pci = 100 ::: pco, psum = 01
pa, pb, pci = 101 ::: pco, psum = 10
pa, pb, pci = 110 ::: pco, psum = 10
pa, pb, pci = 111 ::: pco, psum = 11
验证与非门交叉连接构成的rs_ff模块的测试模块如下例所示。
`timescale 10ns/1ns
module rs_ff (q, qbar, r, s);
output q, qbar;
input r, s;
nand #1 (q, r, qbar);
nand #1 (qbar, s, q,);
//在门实例语句中，实例名称是可选的。
endmodule
module test;
reg ts, tr;
wire tq, tqb;
//测试模块的实例语句：
rs_ff nsta (.q(tq), .s(ts), .r(tr), .qbar(tqb));
//采用端口名相关联的连接方式。
// 加载激励：
initial
begin:
tr = 0;
ts = 0;
#5 ts = 1;
#5 ts = 0;
tr = 1;
#5 ts = 1;
tr = 0;
#5 ts = 0;
#5 tr = 1;
end
//输出显示：
initial
$monitor (at time %t , , $time,
tr = %b, ts=%b, tq=%b, tqb= %b, tr, ts, tq, tqb);
endmodule
rs_ff模块描述了设计的结构。在门实例语句中使用门时延；例如，第一个实例语句中的门时延为1个时间单位。该门时延意味着如果r或qbar假定在t时刻变化，q将在t 1时刻获得计算结果值。
模块test是一个测试模块。测试模块中的rs_ff用实例语句说明其端口用端口名关联方式连接。在这一模块中有两条初始化语句。第一个初始化语句只简单地产生ts和tr上的波形。这一初始化语句包含带有语句间时延的程序块过程赋值语句。
第二条初始化语句调用系统任务$monitor。这一系统任务调用的功能是只要参数表中指定的变量值发生变化就打印指定的字符串。下面是测试模块产生的输出。请注意`timescale指令在时延上的影响。
at time 0, tr=0, ts=0, tq=x, tqb= x
at time 10, tr=0, ts=0, tq=1, tqb= 1
at time 50, tr=0, ts=1, tq=1, tqb= 1
at time 60, tr=0, ts=1, tq=1, tqb= 0
at time 100, tr=1, ts=0, tq=1, tqb= 0
at time 110, tr=1, ts=0, tq=1, tqb= 1
at time 120, tr=1, ts=0, tq=0, tqb= 1
at time 150, tr=0, ts=1, tq=0, tqb= 1
at time 160, tr=0, ts=1, tq=1, tqb= 1
at time 170, tr=0, ts=1, tq=1, tqb= 0
at time 200, tr=0, ts=0, tq=1, tqb= 0
at time 210, tr=0, ts=0, tq=1, tqb= 1
at time 250, tr=1, ts=0, tq=1, tqb= 1
at time 260, tr=1, ts=0, tq=0, tqb= 1