《Xilinx FPGA设计与实践教程》课件_第7章.pptVIP

【程序7-17】用函数的方式实现2位比较器。

moduleeq2_function

(

inputwire[1:0]a,b,

outputregaeqb

);

rege0,e1;

always@*

begin

#2e0=equ_fnc(a[0],b[0]);

#2e1=equ_fnc(a[1],b[1]);

aeqb=e0e1;

end//函数定义

functionequ_fnc(inputi0,i1);

begin

equ_fnc=(~i0~i1)|(i0i1);

end

endfunction

endmodule2．自定义任务

和函数相比，任务则显得更加灵活。它可以有输入、输出以及双向交互，并且可以包含时序控制。任务定义的语法规则如下：

task任务名

端口及数据类型声明语句

语句一

语句二

…

语句n

endtask任务的调用和变量传递的语法如下：

任务名(端口1，端口2，…，端口n)；

任务的使用中需要遵循如下几条原则：

(1)任务可以定义自己的仿真时间单位；

(2)函数不能启动任务，而任务可以启动其他的任务和函数；

(3)函数至少要有一个输入变量，而任务可以没有或有多个任何类型的变量；

(4)函数返回一个值，而任务则不返回值。

下面举例采用任务的方式实现2位比较器，如程序7-18所示。【程序7-18】用任务的方式实现2位比较器。

moduleeq2_task

(

inputwire[1:0]a,b,

outputregaeqb

);

rege0,e1;

always@*

begin

equ_tsk(2,a[0],b[0],e0);

equ_tsk(2,a[1],b[1],e1);

aeqb=e0e1;

end//任务定义

taskequ_tsk

(

inputintegerdelay,

inputi0,i1,

outputeq1

);

begin

#delayeq1=(~i0~i1)|(i0i1);

end

endtask

endmodule7.5.7TestBench举例

1．测试向量产生模块

在程序5-4所示的TestBench中，测试向量部分非常复杂而繁琐。如果能够针对各种操作设置一系列操作，那么代码就会显得组织性更强且容易读。所以可以采用一个单独的任务来完成一种操作，如定义一个装载二进制数据的任务：

taskload_data(inputwire[N-1:0]data_in);

begin

@(negedgeclk);//等待时钟下降沿

load=1‘b1;

d=data_in;

@(negedgeclk);

load=1b0;

end

endtask在这个任务中，在两个下降沿之间load有效，保证data、data_in放在数据线d上。同样，可以用同样的方法定义其他的任务，包括：

(1)?clr_counter_async：产生一个reset脉冲异步清零计数器；

(2)?clr_counter_sync：通过激活ayn_clr信号一个时钟周期对计数器同步清零；

(3)?count：使能计数器计数一定的时钟周期；

(4)?initialize：为仿真设置初始值并产生一个reset脉冲。有了这些任务程序，测试向量程序就可以用一种精简的方式来写了：

initial

begin

initialize()； //初始化

count(12,1)； //上升计数12个时钟周期

count(6,0)； //下降计数5个时钟周期

load_data(3‘b011)； //置数3’b011

count(2，1)； //上升计数2个时钟周期