1 Vivado HLS 简介.doc

author george wangdocument number date document revision page 1 of 15 revision 1 0 用用vivado hls实现低实现低latency 除法器除法器 george wang xilinx dsp specialist author george wangdocument number date document revision page 2 of 15 revision 1 0 table of contents 1vivado hls 简介简介 3 2创建一个创建一个vivado hls工程工程 4 2 1打开vivado hls gui 4 2 2创建新工程 5 2 3添加源文件 6 2 4添加测试文件 8 2 5创建solution 10 3c validation 12 4c synthesis 13 5explore 不同新的不同新的solution 15 author george wangdocument number date document revision page 3 of 15 revision 1 0 1vivado hls 简介简介 xilinx vivado high level synthesis hls 工具将 c c 或者 systemc 设计规范 算 法转成 register transfer level rtl 实现 可综合到xilinx fpga 将dsp算法快速转到rtl fpga 实现 将c 至 rtl时间缩短 4 倍 基于 c 语言的验证时间缩短100倍 rtl 仿真时间缩短 3 倍 author george wangdocument number date document revision page 4 of 15 revision 1 0 2创建一个创建一个vivado hls工程工程 2 1打开vivado hls gui 双击桌面上vivado hls gui 图标 或从start all programs vivado vivado hls gui 打开gui之后 vivado hls welcome界面如下所示 author george wangdocument number date document revision page 5 of 15 revision 1 0 2 2创建新工程 在 welcome page 选择create new project author george wangdocument number date document revision page 6 of 15 revision 1 0 2 3添加源文件 指定顶层需要综合的源文件名 并添加文件 本除法器设计采用移位算法 include radix2div h quotient t radix2div dividend t dividend numerator divisor t divisor denominator remainder t remainder pragma ap latency max 3 pragma ap pipeline author george wangdocument number date document revision page 7 of 15 revision 1 0 quotient i t quo y 1 bits unsigned subtract t sub out rem r 1 bits signed boolean t last bit next bit loop cnt t i last bit 0 rem r 0 if loop max 32 quo 0ull else quo 0 div booth label0 for i 0 i loop max i i 1 concurrent blocks sub out rem r divisor y dividend if y 0 next bit 0 else next bit 1 if sub out 0 remainder denominator is negative quo quo 1 if i loop max 1 rem r rem r 1 rem r rem r next bit else remainder denominator is positive quo quo 1 quo quo 1 if i loop max 1 rem r sub out 1 rem r rem r next bit else rem r sub out end for remainder rem r return quo author george wangdocument number date document revision page 8 of 15 revision 1 0 2 4添加测试文件 添加测试文件 include include include radix2div h quotient t radix2div dividend t dividend numerator divisor t divisor denominator remainder t remainder author george wangdocument number date document revision page 9 of 15 revision 1 0 int test divider dividend t dividend divisor t divisor quotient t quotient remainder t remainder quotient radix2div dividend divisor fprintf stdout dividend u divisor u quotient u remainder u n dividend divisor quotient remainder fprintf stdout n if quotient dividend divisor else pri