sv标准研读第十三章-task和function

最新推荐文章于 2024-10-10 16:09:45 发布

yunduor909

最新推荐文章于 2024-10-10 16:09:45 发布

阅读量698

点赞数 9

分类专栏： system verilog 文章标签：前端

本文链接：https://blog.csdn.net/yunduor909/article/details/142746293

版权

system verilog 专栏收录该内容

14 篇文章 0 订阅

订阅专栏

书接上回：

sv标准研读第一章-综述

sv标准研读第二章-标准引用

sv标准研读第三章-设计和验证的building block

第13章 task和function

13.1 总览

-task声明

-function声明

-调用task和function

13.2 概述

Task和function的区别：

-function不消耗仿真时间，task可以消耗仿真时间

-function里不可以调用task，但是task里可以调用function和task

-function可以return一个返回值，但是task不可以

-function可以放在一个表达式里当做一个操作数，这个操作数的值就是function的返回值

13.3 task

Task声明格式：

声明task时，形式参数可以指明数据类型和传输方向，如下：

方向有下面四种：

当没有指明方向时，默认方向是input。一旦一个参数指明了是某个方向，后面没有指明方向的参数的方向和这个参数的方向保持一致。举例：

a/b的方向是input，u/v的方向是output。

当没有指明数据类型时，默认数据类型是logic。一旦一个参数指明了是某个数据类型，后面没有指明数据类型的参数的数据类型和这个参数的数据类型保持一致。

Task的参数还可以是数组，举例：

13.3.1 static和automatic task

在module、interface、program、package里定义的task默认是static。

把task变成automatic有以下两种方式：

-声明时加上关键字automatic

-如果module、interface、program、package是automatic的，那里面定义的task也是automatic的

在class里定义的task总是automatic的。

可以在automatic task里声明一部分变量是static的，另外也可以在static task里声明一部分变量是automatic的。

13.3.2 task的内存使用和并发激活

Static task里面的变量是所有task实例共享的，而automatic task里面的变量对于不同task实例都是相互独立的。因此，automatic task里的变量在该task之外是不能调用的，它们的生命周期只存在于该task内部。

13.4 function

Function使用时有一些限制：

-function里面不能出现时间控制语句，包括：#、##、@、fork-join、fork-join_any、wait、wait_order、expect

-function里不能调用task

声明语法如下：

Function如果有返回值，默认是logic类型，function也可以没有返回值。

声明举例：

方向和task一样也有四种：

当没有指明方向时，默认方向是input。一旦一个参数指明了是某个方向，后面没有指明方向的参数的方向和这个参数的方向保持一致。

function的参数还可以是数组。

在事件表达式、过程连续赋值表达式、非过程语句表达式中，不能调用带有output、inout、ref参数的function，但是可以调用带有const ref参数的function。

Function里也可以不写任何语句，此时返回的就是与函数同名的变量的值。

13.4.1 返回值和void function

Function隐式声明了一个变量，该变量与function的名字相同。Function的返回值可以通过两种形式返回，一种就是通过return语句返回，另一种就是通过将值赋给与函数同名的变量。举例：

Function的返回值可以是结构体或者union。

Function的返回值也可以是void，表示没有返回值。

如果function有返回值，但是表达式中不使用返回值，那么可以用void进行强制转换，如下：

13.4.2 static和automatic function

在module、interface、program、package里定义的function默认是static的，因此在所有function实例中这些function里的变量是共享的，里面的变量也是static的。

可以通过下面两种方式将function变成automatic的：

-在function声明时加上关键字automatic

-如果module、interface、program、package是automatic的，那么里面的function默认也是automatic的

在class里面定义的function总是automatic的。

Static function里面的变量默认是static的，但是也可以显式声明为automatic的，同理，automatic function里面的变量默认是automatic的，但是也可以显式声明为static的。

13.4.3 常量函数

常量函数有以下约束：

-常量函数不能有output、inout、ref参数

-void function不是常量函数

-DPI import函数不是常量函数

-常量函数在return语句后面不能包含事件调度语句

-常量函数不能有任何fork语句

-常量函数不能有hierarchical引用

-常量函数中调用的函数也必须是常量函数

-常量表达式中可以调用的系统function包括：$bits和数组查询系统函数，但是调用其他系统function是非法的

-常量函数中调用系统task将被忽略

-常量函数可以引用在package或者$unit里定义的参数

-如果常量函数里的形参受到defparam语句的影响，那么返回值是不确定的，这可能造成不可预期的后果

-generate块里不能声明常量函数

-常量函数的参数可以有默认值，但参数必须都是常量表达式

常量函数的调用发生在elaboration阶段。

13.4.4 函数调用产生的后台进程

因为function是无延迟的，所以调用function的进程是立即返回的。那么，在function里面可以出现的语句包括：非阻塞赋值、event触发、clocking驱动、fork join_none。

13.5 子程序调用和参数传递

子程序的调用可以通过位置或者名字传参，参数也可以设置默认值。

13.5.1 按值传递

按值传递的方式是调用子程序进行传参的默认方式。参数在子例程中会被复制，子例程中操作的对象也是复制后的对象，因此，如果在子例程中对参数进行了修改，不影响子例程外参数的值。考虑到内存问题，如果参数占用内存很大，建议将该参数声明为一个共享的参数，而不要通过传参的方式交给子例程处理，否则，复制操作会使得内存占用很大。