Vivado HLS中指针作为top函数参数的处理
Harvest Guo : xilinx
指针作为C语言精华,对于软件设计者比较好理解,但是在xilinx vivado HLS高级语言综合的设计中,由于其综合后对应的硬件元素难以用软件的概念解释,常常令程序设计者和VHLS工具使用者头痛。本文采用浅显易懂的描述方式,结合具体的c代码例子,详细描述了常用三种指针的设计类型,以及其作为顶层函数参数时,采用不同的编码风格和HLS约束策略,满足设计者对指针作为RTL接口的需求。
基本指针类型指的是指针没有运算或者没有多次的存取(读写)。指针作为top函数的参数时,指针综合为wire型或者握手协议类型接口。如下例子1-1:
void pointer_basic (dio_t *d) {
static dio_t acc = 0;
acc += *d;
*d = acc;
}
例子1-1 基本类型指针作为顶层函数参数
在这个例子中,只是简单的读写指针指向的变量值,并没有对指针做偏移或者指针(地址)运算,其接口综合为线
指针作为top层函数参数,并且函数中有对指针运算时,我们称之为指针运算类型。指针运算常常限制指针可能综合的接口类型
void pointer_arith (dio_t *d) {
static int acc = 0;
int i;
for (i=0;i<4;i++) {
acc += *(d+i+1);
*(d+i) = acc;
}
}
例子1-2 指针运算类型作为顶层函数参数
下面代码例子1-3是这个指针运算类型仿真的testbench。因为函数pointer_arith内部的for循环进行数据累加,testbench通过数组d[5]分配了地址空间并对数组赋值。
int main () {
dio_t d[5], ref[5];
int i, retval=0;
FILE *fp;
// Create input data
for (i=0;i<5;i++) {
d[i] = i;
ref[i] = i;
}
// Call the function to operate on the data
pointer_arith(d);
// Save the results to a file
fp=fopen("result.dat","w");
printf(" Din Dout\n", i, d);
for (i=0;i<4;i++) {
fprintf(fp, "%d \n", d[i]);
printf(" %d %d\n", ref[i], d[i]);
}
fclose(fp);
// Compare the results file with the golden results
retval = system("diff --brief -w result.dat result.golden.dat");
if (retval != 0) {
printf("Test failed!!!\n");
retval=1;
} else {
printf("Test passed!\n");
}
// Return 0 if the test
return retval;
}
例子1-3 指针运算类型作为顶层函数参数的testbench
在C编译环境下仿真上面例子1-3的代码,结果如下:
Din Dout
0 1
1 3
2 6
3 10
Test passed!
指针运算带来的问题是,通常情况下,指针偏移是不规则的,不能按顺序存取指针数据。而Wire,握手类型或者Fifo接口类型没有办法乱序存取数据。
对于wire类型接口来说,当设计本身准备好接收数据时可以读入数据,或者当数据准备好ready时,可以写出数据。对握手和Fifo类型接口,当控制信号允许操作进行时,读入或写出数据。
在上面wire,握手或者FIFO类型接口的情况下,数据从0元素开始,必须按顺序到达(写入)。在指针运算的例子1-2中,第一个数据从索引1开始读入(i从0开始,0+1=1),对应于testbench中数据d[5]的第二个元素。
当这种情况在硬件应用时,需要某种格式的数据索引,这种情况对于wire类型,或者握手类型还是Fifo类型来说,都不支持。像上例1-2指针运算的代码,只能综合成ap_bus接口,因为这种接口带有地址,当数据存取(读写)时,用于对应的数据索引指示。
还有一种方法,代码必须修改成如下例子1-4的风格,用数据array作为接口替代指针。这种方法应用了array作为top层参数时综合成RAM接口(ap_memory)的原理,memory接口可以用地址作为数据的索引并且可以乱序执行,不必顺序存取操作。
void array_arith (dio_t d[5]) {
static int acc = 0;
int i;
for (i=0;i<4;i++) {
acc += d[i+1];
d[i] = acc;
}
}
例子1-4 指针运算类型作为顶层函数参数修改为array
Wire类型、握手类型或Fifo类型接口仅仅可用在数据流方式,因此不能用在与指针运算相关的地方(除非数据从索引0开始并顺序处理)。同时注意,如果想综合为FIFO接口,Fifo接口类型必须是只读或者只写,不能有读又有写操作。
多次读写指针类型一般用作描述一个数据流方式的接口。
当top层函数参数使用指针,函数体对指针进行多次存取操作时,必须仔细考虑。在同一函数中对一个指针多次的读或者
如果设计模型要求函数参数指针多次存取,推荐使用数据流模式模型化设计,使用数据流模型可以避免我们将会在
这个章节使用设计例子1-5 糟糕的数据流类型指针(pointer_stream_bad)解释,当多次存取指针时,为什么要使用volatile限定符。同时使用设计例子1-8 好的数据指针类型(pointer_stream_better)来说明,为什么当top层函数参数包含有这种指针接口的设计时,应该用C testbench仿真验证确保设计的行为级模型正确。
在下面的例子1-5中,指针d_i读了4次并且d_o写了2次,设计的本意是存取操作通过fifo接口,综合后的RTL以数据流的方式读入或者写出数据。
void pointer_stream_bad ( dout_t *d_o, din_t *d_i) {
din_t acc = 0;
acc += *d_i;
acc += *d_i;
*d_o = acc;
acc += *d_i;
acc += *d_i;
*d_o = acc;
}
例子1-5 糟糕的数据流指针类型
用于验证的C testbench如下:
int main () {
din_t d_i;
dout_t d_o;
int retval=0;
FILE *fp;
// Open a file for the output results
fp=fopen("result.dat","w");
// Call the function to operate on the data
for (d_i=0;d_i<4;d_i++) {
pointer_stream_bad(&d_o,&d_i);
本视频基于Xilinx公司的Artix-7FPGA器件以及各种丰富的入门和进阶外设,提供了一些典型的工程实例,帮助读者从FPGA基础知识、逻辑设计概念
本课程为“从零开始大战FPGA”系列课程的基础篇。课程通俗易懂、逻辑性强、示例丰富,课程中尤其强调在设计过程中对“时序”和“逻辑”的把控,以及硬件描述语言与硬件电路相对应的“
课程中首先会给大家讲解在企业中一般数字电路从算法到流片这整个过程中会涉及到哪些流程,都分别使用什么工具,以及其中每个流程都分别做了
@2003-2020 中国电子顶级开发网