代码编织梦想

vivado-HLS入门

本文主要描述了如何使用vivado HLS的基本功能。文章内容主要来自于Xilinx官方文档:ug871-vivado-high-level-synthesis-tutorial,所用代码来自于Xilinx官方例程:ug871-design-files\2016.1\Introduction\lab1


添加链接描述
vivado-HLS可以实现直接使用 C,C++ 以及 System C 语言对Xilinx的FPGA器件进行编程。用户无需手动创建 RTL,通过高层次综合生成HDL级的IP核,从而加速IP创建。例如:神经网络的卷积层,用HDL语言实现是较复杂的,而用C代码描述是相对较简单的。用户用高层次语言将卷积层描述后,HLS工具再完成从高层次语言到HDL语言的转化。用户不用直面HDL级设计,提高了开发效率。同时,工具里的一些优化工具可以优化RTL的资源消耗和数据吞吐速率。

高层次综合工具的使用

本文包含3个内容:

1.如何新建HLS工程,并说明在HLS设计流程中需要执行所有主要步骤:

a)验证C代码。

b)创建和综合解决方案。

c)验证RTL并打包IP。

2.如何使用Tcl指令。

3.如何优化设计。

Lab01 HLS设计流程

Step 1: 新建一个工程

本步骤演示了在图形界面下新建一个工程(源代码来自于ug871-design-files.zip)。详细步骤见Fig.1~Fig.5。

Step 2: C源代码验证

本步骤是对功能代码的逻辑验证,相当于功能前仿。

在source中编写好功能代码,在Test Bench中编写好测试代码,准备好标准输出数据。在测试代码中调用功能代码的函数,自己生成或者导入输入数据,保存输出数据并与标准输出数据作对比,验证功能的正确性。

添加链接描述

Fig.6:点击红框中的按钮,开始C源代码验证

Step 3: 高层次综合

本步骤是把功能代码的综合成RTL逻辑。

添加链接描述

添加链接描述

Fig.7:点击红框中的按钮,将C代码综合成RTL。综合完成后,查看结果。

Step 4: RTL验证

本步骤是对RTL的逻辑验证,由Test Bench提供测试数据和标准输出数据,相当于功能后仿。

添加链接描述

Fig.8:点击红框中的按钮,进行RTL验证。

Step 5: IP创建

本步骤将RTL逻辑打包成HDL的IP核,右键点击solution1,选择Export RTL,弹出对话框,如图Fig.9。

添加链接描述

Fig.9:Configuration中可以配置IP核的信息,勾上Evaluate后,生成IP核的时间会增长。点击OK后,IP核会被打包成压缩文件到solution1/impl/ip/文件夹中。

Lab03 优化设计(以Lab01为例)

1.优化I/O接口

高层次综合的设计实现中包括I/O协议,I/O接口的优化可以创建正确的I/O管脚,实现正确的I/O协议。
在Lab01中,主要有X,Y,C三个接口。X代表FIR的输入,Y代表FIR的输出,C代表FIR的滤波抽头系数的输入。对于这三种接口(接口综合结果见Fig.14),有以下几个特点:
    a)接口X必须有一个输入数据有效信号。
    b)接口Y必须有一个输出数据有效信号。
    c)接口C相当于一个单端的RAM访问。

添加链接描述

Fig.14:Lab01中,未在solution1中优化I/O,其默认结果如图。

接口分析如下:

1)输入端口X是一个32位数据端口。需要指定I/O协议ap_vld,将其实现为具有有效信号的输入数据端口。

2)输出端口Y已经具有相关的输出有效信号。这是指针参数的默认值。不必为该端口指定一个显式接口协议。考虑到设计 的规范性,要手动指定一个显式接口协议。

3)C端口是单端口RAM访问。但是,如果未显式指定RAM访问类型,则HLS为创建一个更高的吞吐量设计时,可能将其综合成双端口接口。应该手动显式指定RAM访问类型。

下面的操作(Fig.15~Fig.18)演示了如何手动指定I/O的接口协议

添加链接描述

Fig.15:点击工具栏中的Project>New Solution,新建一个solution2。新建后,solution2为默认的solution。在辅助栏中点击Directive。右键点击每个端口,选择Insert Directive。

添加链接描述
添加链接描述
添加链接描述

Fig.16:图A、B、C分别是点击开端口X、Y、C的Insert Directive后的配置界面,按照红框中的配置选项配置端口,点击OK。(其余可选的配置项不再赘述,可自行研究)

添加链接描述

Fig.17:三个端口配置完成后,在源代码中会出现宏编译指令。

添加链接描述

Fig.18:保存修改后,重新综合,综合后结果如上图。X端口增加了x_ap_vld。

2.综合结果分析

在优化设计之前,需要了解当前的设计。除了综合后的设计报告以外,Analysis窗口功能提供了更详细的细节分析,点击窗体右上角的 ,打开Analysis窗口,可以在Performance栏中看到操作逻辑的执行流程,如图Fig.19。

添加链接描述

添加链接描述

Fig.19:Performance是一张表格,这张表格描述了高层次逻辑综合成RTL逻辑后,逻辑操作与控制状态的对应表。第一列中排列好了逻辑操作的顺序,包括x read、shift Accum Loop、node 47三个操作,其中shift Accum Loop可以展开成多个子操作。第一行中的C0、C1…C8是RTL逻辑不同的控制状态,每个状态对应一个时钟,这些状态对应着RTL综合成的FSM的状态。对表中方块点击右键,选择Goto Source,可以定位到操作对应的源码。例如,此处的node 47对应着源码中的*y=acc。

Analysis窗口中的Resource栏中,展示了设计用到的资源,如图Fig.20。

添加链接描述

Fig.20:Resource表格描述了RTL逻辑对不同资源操作的时刻表。其中,图中带颜色的方块代表操作的类型。从表中可以看到不同操作所占用的时间。

3.优化最高吞吐率

有两个因素限制了设计的吞吐率:
    for循环:默认情况下,for循环在综合时是未展开的。相同的操作逻辑会在没个时钟下重复执行。而展开for循环后,则能将for循环中多个时钟下的逻辑在一个时钟里并行执行。
    移位寄存器被综合成block RAM:在默认的情况下,高层次代码中的移位寄存器会被综合成block RAM,而block RAM的读写需要两个周期。应该将移位寄存器综合成寄存器,读写仅一个周期。
    下面的操作(Fig.21~Fig.24)演示了如何优化吞吐率

添加链接描述

Fig.21:在Directive中,点击Shift_Accum_Loop,选中待优化的循环。点击右键,选择Insert Directive,进入配置界面。

添加链接描述

Fig.22:按图中红框配置,目标选为Directive File,这样不影响其他solution的配置(在源码中以宏编译选项配置在其他solution中仍生效)。点击OK后完成配置。

添加链接描述

Fig.23:以同样的方法打开shift_reg的配置窗口,按照图中红框配置。点击OK后完成配置。

添加链接描述

Fig.24:展开solution3,打开directives.tcl,可以看到优化指令。点击综合后可得到新的综合结果。

4.Solution比较

添加链接描述
Fig.25:点击Project > Compare Reports,选择要比较的solution,得到上图。可以发现:增大吞吐率后,所用的资源增多。

Vivado 调用HLS生成的IP核

在HLS中使用帧间差分法生成了IP核,这里讲述如何在vivado中调用IP core

1 首先打开vivado 新建工程

2 添加IP core

点击project setting ,点击IP

点+号 添加HLS 生成IP core 的放置文件夹 (这里的文件夹是HLS项目工程的文件夹)

打开或创建Block Design,添加的自定义IP core 可在vivado 工程中直接调用

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。 本文链接: https://blog.csdn.net/Holdrenminbi/article/details/106017326

ZYNQ BOOT.bin 的制作方法-爱代码爱编程

ZYNQ BOOT.bin 的制作方法 参考地址:(防丢失)ZYNQ之uboot,kernel,设备树,文件系统生成。[dts]Device Tree机制 1、FSBL.elf :SDK生成的FSBL(first stage boot loader) 2、your_design.bit :用户设计文件 3、u-boot.elf : (Linux boo

每日一算:两数之和-爱代码爱编程

题目:给定一个整数数组 nums 和一个目标值 target,请你在该数组中找出和为目标值的那 两个 整数,并返回他们的数组下标。 你可以假设每种输入只会对应一个答案。但是,你不能重复利用这个数组中同样的元素。 实例: 给定 nums = [2, 7, 11, 15], target = 9 因为 nums[0] + nums[1] = 2 + 7

每日一算:圆圈中最后剩下的数字-爱代码爱编程

题目:0,1,n-1这n个数字排成一个圆圈,从数字0开始,每次从这个圆圈里删除第m个数字。求出这个圆圈里剩下的最后一个数字。 例如,0、1、2、3、4这5个数字组成一个圆圈,从数字0开始每次删除第3个数字,则删除的前4个数字依次是2、0、4、1,因此最后剩下的数字是3。 分析:约瑟夫环问题,采用数学公式法比较简单,模拟法会超时。说白了还是需要找到数

Tomcat注册为Windows服务-爱代码爱编程

项目在tomcat中运行,需要在bin目录下运行startup.bar,如果把Tomcat注册为Windows服务,则每次开机项目自动开启,不再需要bin目录下运行startup.bar,特此记录。 1)安装32位或64位JDK 2)安装32位或64位的Tomcat 3)打开CMD,进入到Tomcat的bin目录,执行命令:service.bat i

mybatis-plus的 mapper.xml 路径配置的坑-爱代码爱编程

mybatis-plus今天遇到一个问题,就是mybatis 没有读取到mapper.xml 文件。 特此记录一下,问题如下: org.apache.ibatis.binding.BindingException: Invalid bound statement (not found): com.husy.mapper.SystemUserMapper

人人都是产品经理读书笔记-爱代码爱编程

人人都是产品经理 阅读人人都是产品的书,将书本做了一个大致的思维导图。 01 初识:大话产品经理 1.1 一个伪需求的例子 产品定位需求采集需求转化产品概念验证新功能上线1.2 产品经理的今生前世 1.3 思维方式与性格特点 遇到问题:采集需求,寻找最优解摆脱自我中心,以用户为准,同理心从现象到本质热爱生活、好奇心、完美主义、善于沟通等1.4