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

　　后面的章节将更详细地讲述这些主题。