system verilog与C语言的接口(包含使用方法以及实例)
资料来源
(1) sv绿皮书;
(2) vcs user guide;
(3) https://www.cnblogs.com/studyforever/p/5169243.html
(4) system verilog与功能验证
(5) https://www.cnblogs.com/GrootStudy/p/16559418.html
注1:注意dpi使用过程中的svSetScope()函数与svGetScopeFromName()函数;
1.verilog与C语言的接口(另外单独详细描述)
1.1 PLI-Programming Language Interface
(1) verilog使用编程语言接口(PLI)与C语言程序交互;
(2) PLI先后经历三代:TF->ACC->VPI;
1.2 PLI的优缺点(暂略)
2.system verilog与C语言的接口与交互
2.1 DPI-Direct Programming Interface
(1) system verilog使用DPI实现与C,C++,SystemC以及其他非verilog编程语言的交互;
2.2 导入(import)声明
注1:在sv中,凡是允许声明子程序的地方都可以导入子程序,例如program, module, interface, package或者编译单元空间$unit;
注2:被导入的子程序将只在它被声明的空间中有效;
注3:如果需要在代码的多个地方调用同一个导入函数,可以将import声明放在一个package中,并在需要的地方导入package;
注4:任何C函数都可以被引入到sv中,包括标准的C的函数库,如malloc()、free()、strlen();
(1) 导入时,不改变C函数名
1 import "DPI-C" function int factorial(input int i);
(2) 导入时,改变C函数名(如果C函数名与sv中的命名冲突)
1 //改变C函数名"test"为"my_test"
2 import "DPI-C" test=function void my_test();
3
4 //C函数名与sv关键字expect同名,需要修改函数名
5 import "DPI-C" \expect=function int fexpect();
2.3 导出(export)声明
3.使用方法以及实例(vcs仿真)
3.1 system verilog代码使用C子程序
3.1.1 编辑C文件,定义所需函数,注意在文件头部添加#include <svdpi.h>语句;
注1:要导入的C子程序可以有多个参数或者没有参数,参数的方向可以是input, output, inout,但不可以是ref;
注2:要导入的C子程序可以有返回值,也可以没有返回值;
注3:可以将要导入的C子程序的输入参数定义为const类型,这样如果对输入变量进行修改,C语言编译器会报错;
注4:注意system verilog和C语言子程序输入输出之间的数据类型的映射关系(详见sv绿皮书12.1.4参数类型);
1 //参数方向
2 import "DPI-C" function int addmul (input int a,b, output int sum);
3
4 //返回值
5 import "DPI-C" function void stop_model();
6
7 //const类型输入参数
8 int factorial(const int i) {
9 if(i<=1) return 1;
10 else return i*factorial(i-1);
11
12 }
3.1.2 sv代码中采用特定的import语法引入C文件中子程序;
注1:在不同的使用场景下,import格式有所不同;
注2:约束中调用DPI函数,如果import语句中没有指明pure function,而只是function, vcs仿真工具将会报错;
注3:在import C函数时,不是所有的C函数实现都可以用import "DPI-C" pure function方式导入;
(1) 纯导入(在sv约束中使用纯导入-pure)
注1:纯函数严格根据其输入计算输出,跟外部环境没有任何其他交互,即纯函数不会访问任何全局或静态变量,不会进行文件操作,不会跟函数体以外的事务如操作系统、进程等有交互;
1 使用格式(注意pure关键字):
2 import "DPI-C" pure function int func1();
3 import "DPI-C" pure function int func2(int a, int b);
4
5 使用示例:
6 step1:C文件dpi_func.c的构建
7 #include <svdpi.h>
8
9 int dpi_func(int a, int b) {
10 return (a+b);
11 }
12
13 step2:sv代码中调用C函数
14 import "DPI-C" pure function int dpi_func(int a, int b);
15
16 class C;
17
18 rand int ii;
19 constraint cstr{
20 ii==dpi_func(10,20);
21 }
22 endclass
23
24 program tb;
25 C cc;
26 cc=new;
27 cc.randomize();
28 endprogram
(2)通用导入-generic
注1:如果导入方法中使用全局变量,但没有调用任何PLI,它就不需要承受context方法带来的额外开销,这类函数为通用的;
1 使用格式:
2 import "DPI-C" function int dpi_func(int a, int b);
(3)关联导入-context
注1:调用关联导入方法时,需要记录调用的上下文环境以决定调用PLI TF\ACC还是VPI方法或者导出的system verilog任务,会给仿真器带来额外的开支;
注2:导入函数的上下文是该函数定义所在的位置,比如$unit、模块、program或者package;
1 使用格式:
2 import "DPI-C" context task call_sv(bit[31:0] data);
3.1.3 vcs仿真时添加编译option: +vc C/C++ source files;
(1) +vc选项后面跟的源文件必须是.c后缀;
(2) 注意现在如果使用+vc选项,vcs log中会报warning,说vc已经弃用了,可以使用+DPI代替;
1 vcs +DPI dpi_func.c -sverilog tb.sv -R -l run.log
3.2 C代码使用system verilog子程序
3.2.1 使用export语法导出一个system verilog函数;
1 示例:
2 export "DPI-C" function sv_display;
3 export "DPI-C" task mem_read;
3.2.2 完整示例
1 #include <svdpi.h>
2 #include <stdio.h>
3
4 extern void mem_write(int);
5
6 int read_file(char * fname) {
7 int cmd;
8 FILE * file=NULL;
9 int hi;
10
11 file=fopen(fname, "r");
12 if(file==NULL) {
13 printf("cannot open this file\n");
14 exit(0);
15 }
16
17 while(!feof(file)) { //这种方法判断文件是否读完,会导致文件最后一行读两遍;
18 fscanf(file, "%d", &hi);
19 printf("%0d\n",hi);
20 mem_write(hi);
21 }
22
23 }
1 //sv文件
2 module memory;
3 import "DPI-C" context function read_file(string fname); //该处必须用context function,因为C程序的read_file内用到了sv的导出函数;
4 export "DPI-C" function mem_write;
5
6 int mem[$];
7
8 function mem_write(int num);
9 mem.push_back(num);
10 endfunction
11
12 initial begin
13 read_file("mem.txt");
14 foreach(mem[i]) begin
15 $display("mem[%0d]=%0d",i,mem[i]);
16 end
17 end
18
19
20 endmodule:memeory
1 //txt文件
2 32
3 8
4 16
5 128
6 2
7 8
最新文章
- .NET基础拾遗(5)多线程开发基础
- 从零开始构建 Wijmo &; Angular 2 小应用
- Hashslider – 带有 Hash 标签功能的 jQuery 内容滑块
- zero cycles - 1 to 30 cycles - tens of millions of cycles
- Co-prime Array&;&;Seating On Bus(两道水题)
- php __autoload使用
- codeigniter 操作mysql的PHP代码--更新
- Xcode 设置文件生成时的模板
- 深入理解AngularJs-scope(一)
- Ubuntu12.04下Django1.4的删除目录
- Linux根据端口号查看进程PID
- Arcgis for Javascript 对接iServer发布的Mapserver服务
- 实现加载Tomcat服务器中的图片,并且有进度条提示进度
- github(1)安装及使用图文详解
- JAVA之字母与相对应数字转换
- 赋值操作符、复制构造函数、析构函数、static成员练习
- Oracle11g dump 部分参数解读
- 3 - django-template模板基本使用
- arm-linux-gcc安装使用教程
- ansible入门一(Ansible介绍及安装部署)