VIP7
本课程属于：028-HLS、FPGA AI与硬件加速器 芯片硬件与光电工程 · 共 7 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

HLS算法到RTL综合与C/RTL协同验证全流程

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与全景认知
目标=HLS与RTL协同验证的价值 · 学习目标 · 整体流程框架
课程导入全景认知
02
HLS基础概念与术语
目标=高层次综合定义 · 输入语言与输出RTL · 时序与资源约束
HLS基础概念
03
C/C++算法建模基础
目标=可综合C/C++子集 · 数据类型与位宽管理 · 定点数库
C/C++算法建模基础
04
HLS工具链与工程结构
目标=主流HLS工具（Vitis H… · Catapult · Stratus等）的工程组织
HLS工具链
05
综合指令与优化原语
目标=pipeline · unroll · array_partition
综合指令优化原语
06
接口综合与协议适配
目标=AXI4 · AXI4-Lite · AXI4-Stream
接口综合协议适配
07
时序约束与时钟目标
目标=时钟周期 · 不确定性 · 建立/保持时间
时序约束时钟目标
08
资源约束与面积优化
目标=LUT · FF · DSP
资源约束面积优化
09
循环优化与数据流设计
目标=循环展开 · 循环合并 · 循环流水
循环优化数据流设计
10
数组与存储器综合
目标=数组映射到BRAM/URAM/… · 分区策略 · 访问模式
数组存储器综合
11
函数与层次化综合
目标=函数内联 · 函数实例化 · 模块层次保持
函数层次化综合
12
定点量化与数值精度
目标=浮点到定点转换 · 量化误差分析 · 溢出与饱和处理
定点量化数值精度
13
HLS综合报告解读
目标=时序报告 · 资源报告 · 调度图
HLS综合报告解读
14
RTL生成与网表结构
目标=HLS生成RTL的代码风格 · FSM与数据通路 · 寄存器插入
RTL生成
15
C/RTL协同验证概念
目标=协同仿真原理 · C测试平台与RTL测试平台的关系 · 事务级与信号级验证的衔接
C/RTL协同验证概念
16
C测试平台设计
目标=测试激励生成 · 参考模型 · 黄金向量
C测试平台设计目标=测试激励生…
17
RTL协同仿真流程
目标=工具命令与脚本 · 仿真器接口（Vivado Simul… · ModelSim
RTL协同仿真流程
18
协同验证中的接口适配
目标=C与RTL数据类型映射 · 时序握手模拟 · 存储器模型
协同验证接口适配
19
形式验证与等价性检查
目标=HLS C到RTL的等价性验证… · 形式工具使用 · 断言插入与属性检查
形式验证等价性检查
20
性能评估与瓶颈定位
目标=吞吐率 · 延迟 · II
性能评估瓶颈定位
21
功耗分析与优化
目标=HLS级功耗估算 · 时钟门控 · 数据门控
功耗分析优化
22
实战案例一
目标=图像处理算法（如Sobel/卷…
实战案例一Sobel
23
实战案例二
目标=矩阵乘法/FFT等计算密集型算…
实战案例二FFT
24
实战案例三
目标=通信基带或加密算法（如AES）… · 数据流设计与协同验证
实战案例三AES
25
常见综合失败与调试
目标=不可综合代码 · 时序违例 · 资源超限
常见综合失败调试
26
协同验证常见问题
目标=C/RTL结果不一致 · 时序不匹配 · 存储器初始化差异
协同验证常见问题C/RTL
27
自动化脚本与CI集成
目标=Tcl/Python脚本驱动综… · 回归测试 · 结果比对
CI自动化脚本
28
从HLS到SoC集成
目标=IP打包 · AXI接口集成 · 驱动开发
HLSSoC
29
高级主题与前沿趋势
目标=动态HLS · 机器学习辅助综合 · 高层次综合与RTL混合流程
高级主题前沿趋势
30
课程总结与综合提升
目标=知识体系回顾 · 最佳实践总结 · 项目实战建议
课程总结综合提升