[Verilog]可综合语句之task 与 function

       前言：如果程序中有一段语句需要执行多次，则重复性的语句非常多，代码会变得冗长且难懂，维护难度也很大。任务和函数具备将重复性语句聚合起来的能力，类似C语言的子程序。通常任务和函数来代替重复性语句，也有效简化程序结构，增加代码的可读性。因此，task和function都是可综合的，不过综合出来的都是组合逻辑电路。
 

 一、任務（task）

       任务就是封装在task-endtask之间的一段语句。任务是通过调用来执行的，也只能通过调用来执行，如果定义了任务，但整个过程都没有调用它，它是不会执行的。调用任务时可能需要它来处理某些数据并返回操作结果，所以任务应当有接受数据的输入端和返回数据的输出端。另外，任务可以彼此调用，任务还可以调用函数。

       1、任務（task）的定義

       task task-id；
           [declaration]
           procedural-statement
       endtask

       其中，task和endtask将它们之间的内容标志成一个任务定义，task标志着一个任务定义结构的开始；task-id是任务名，可选项declaration是端口声明语句和变量声明语句，任务接受数据和返回数据就是通过此处声明的端口进行的。
 

在定义任务时，有下列六点需要注意：
1、在第一行task语句中不能列出端口名称。
2、任务的输入、输出和双向端口数量不受限制，甚至可以没有输入、输出和双向端口。
3、在任务定义的描述语句中，可以出现不可综合操作符合语句，但这样会造成任务不可综合。
4、在任务中可以调用其他的任务或函数，也可以调用自身。
5、在任务定义结构中不可出现initial和always语句。
6、在任务定义中可以出现“disable中止语句“，将中断正在执行的任务，但其是不可综合的。当任务被中断后，程序流程将返回调用任务
的地方继续执行。

       2、任務（task）調用

       虽然任务中不可以出现initial和always语句，但任务调用语句可以在initial和always语句中使用，其语法形式如下：

       task-id[(端口1，。。。端口N)];

       其中task-id是要调用的任务名，端口N是参数列表。参数列表给出传入任务的数据和接受返回数据的变量。任务调用语句中，参数列表的顺序必须与任务定义中的端口声明顺序声明。任务调用语句是过程性语句，所以任务调用中接收返回数据的变量必须是寄存器类型。
 

在调用任务时，需要注意一下几点：
1、任务调用语句只能出现在过程块中
2、任务调用语句和一条普通的行为描述语句的处理方法一致
3、当被调用输入、输出和双向端口时，任务调用语句必须包含端口名列表，且信号端口顺序和类型必须和任务定义结构中的顺序和类型一
致。需要说明的是，任务的输出端口必须和寄存器类型的数据变量对应。
4、可综合任务只能实现组合逻辑，也就是说调用可综合任务的时间为0；

       3、對任務（task）與函數（function）的深入理解

 

 

 

二、函數（function）

       1、函數（function）的定義

(1)函数通过关键词function 和 endfunction 定义
(2)不允许输出端口声明（包括输出和双向端口） ，但可以有多个输入端口
(3)[range]参数指定函数返回值的类型或位宽，是一个可选项，若没有指定，默认缺省值为宽度 1 bit的寄存器数据
(4)function_name为所定义函数的名称，对函数的调用也是通过函数名完成的，并在函数结构体内部代表一个内部变量，函数调用的返回值
就是通过函数名变量传递给调用语句。函数定义在函数内部会隐式定义一个寄存器变量，该寄存器变量和函数同名并且位宽也一致。函数通过
在函数定义中对该寄存器的显式赋值来返回函数计算结果
(5)input_declaration为各个输入端口的位宽和类型进行说明，在函数定义中至少要有一个输入端口

       2、函數（function）的調用

(1)函数调用可以在过程块中完成，也可以在 assign 这样的连续赋值语句中出现。
(2)函数调用语句不能单独作为一条语句出现，只能作为赋值语句的右端操作数。
(3)如果task或者function在不同地方并发调用，则它们使用同一组变量个内存地址，存在冲突产生错误。
为避免错误，声明时在task和function后面加上automatic 关键字。如：
task automatic task_id();
   … 
endtask

 

       3、對函數（function）的特點

(1)函数定义只能在模块中完成，不能出现在过程块中
(2)函数至少要有一个输入端口；不能包含输出端口和双向端口
(3) 在函数结构中， 不能使用任何形式的时间控制语句 （#、 wait 等） ， 也不能使用 disable中止语句
(4)函数定义结构体中不能出现过程块语句（always语句）
(5)函数内部可以调用函数，但不能调用任务。