如何在HIGH LEVEL SYNTHESIS之前查找代码问题的资料说明
资料介绍
为了显著加快验证速度,处理每天都会变化的复杂算法,很多公司转向采用 High-Level Synthesis (HLS) 方法。但是,要利用在更高抽象度开展设计带来的相关性能改进,采用 C++ 或 SystemC 编写的高层次模型不仅要求正确无误,还要进行面积和性能优化,这一点极其重要。C++ 仿真作为一种快速的非时序仿真,是验证高层次模型是否具备正确功能的理想选择。但是,此仿真仅在验证平台准备就绪后方可进行。此外,C++ 语言具有歧义性,在仿真过程中很难发现。即使代码编写正确,高层次模型的代码编写方式也可能不太理想,导致综合之后硬件达不到预期。问题可能在 C++ 仿真中出现,或者导致此仿真与 RTL 仿真之间的仿真不匹配。也可能完全无法检测出问题(图 1)。
图 1:编码问题、达不到预期的硬件或未检测到的问题都有可能
C++ 模型的这些缺陷中,一些可以被静态软件分析工具指出,但这些工具本身是通用型软件,不能理解模型的硬件意图。
虽然对 C++ 源代码运行语法检查器等软件检查工具的想法很有诱惑力,但这些工具并不理解硬件。团队可运行这些工具获得结果,但这些结果并不准确,而且可能误导设计人员以为代码中没有任何问题,这将会给综合和 RTL 仿真造成不利的影响。或者相反,他们可能会看到成百上千条实际没有问题的违例项。软件检查工具存在的一些硬件感知的问题包括:
■ 仅适用于 C++ 代码,而不支持 SystemC
■ 不理解比特精确数据类型
■ 仅采用静态分析,可能生成许多误报
■ 不理解某些代码可能生成不太理想或错误的硬件
■ 不能生成反例验证平台
设计和验证团队真正需要的是一种能够在综合至 RTL 之前,快速、轻松地找出编码错误和不太理想的代码的工具。团队还需要避免 C++ 和 RTL 仿真之间的仿真不匹配(图 2)。
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
- EXCEL函数:5大模糊查找技巧资料下载
- RF电路和数字电路如何在同块PCB上和谐相处?资料下载
- 以太网EMC接口硬件电路如何在PCB上实现资料下载
- 几种查找电路板中地线的方法资料下载
- 三极管是如何在电路中应用的资料下载
- 使用文件保存游戏的python代码和资料说明 11次下载
- 如何在C51程序中使用参数传递与数据返回的资料说明
- 状态机protothreads的资料和源代码的详细资料说明
- 无线电监测及干扰查找的详细资料说明 0次下载
- 如何在麒麟系统上安装Java环境指南的详细资料说明 8次下载
- HLS/HLV 流程说明及优势 9次下载
- 使用Vivado高层次综合 (HLS)进行FPGA设计的简介 65次下载
- isis 7 professional_元件查找代码 7次下载
- high-level protocol for CAN-bu
- Synthesis And Optimization Of
- 如何在IAR Embedded Workbench中配置生成对应代码区域的CRC校验码 1733次阅读
- 什么是Logic Synthesis?Synthesis的流程 1615次阅读
- 如何创建一个high-level和object-oriented的模型 452次阅读
- 如何在Post Synthesis工程中加入XCI文件 1356次阅读
- 如何在Linux使用pidof命令 2357次阅读
- 在Android系统开发过程中如何快速查找定位代码呢 2096次阅读
- 如何在设计中例化和使用多个BSCANE2模块 2022次阅读
- 如何在Vitis HLS中使用C语言代码创建AXI4-Lite接口 1872次阅读
- 如何在机智云平台创建智能产品 2063次阅读
- HLS高阶综合的定义及挑战 3370次阅读
- 详解C语言二分查找算法细节 2827次阅读
- 使用AT89S51单片机制作红外遥控器的资料和源代码详细说明 6261次阅读
- 一文详解HLS从C/C++到VHDL的转换 7007次阅读
- 如何在代码中添加注释 1w次阅读
- Board从入门到精通系列(八) 2717次阅读
下载排行
本周
- 1PIC12F629/675 数据手册免费下载
- 2.38 MB | 36次下载 | 5 积分
- 2PIC16F716 数据手册免费下载
- 2.35 MB | 18次下载 | 5 积分
- 3STC15系列常用寄存器汇总免费下载
- 1.60 MB | 7次下载 | 5 积分
- 4AN158 GD32VW553 Wi-Fi开发指南
- 1.51MB | 2次下载 | 免费
- 5模拟电路仿真实现
- 2.94MB | 2次下载 | 免费
- 6AN148 GD32VW553射频硬件开发指南
- 2.07MB | 1次下载 | 免费
- 7PZT驱动开关电路
- 0.09 MB | 1次下载 | 免费
- 8电子线路板及仿真实现
- 1.54MB | 1次下载 | 免费
本月
- 1ADI高性能电源管理解决方案
- 2.43 MB | 452次下载 | 免费
- 2免费开源CC3D飞控资料(电路图&PCB源文件、BOM、
- 5.67 MB | 139次下载 | 1 积分
- 3基于STM32单片机智能手环心率计步器体温显示设计
- 0.10 MB | 133次下载 | 免费
- 4PIC12F629/675 数据手册免费下载
- 2.38 MB | 36次下载 | 5 积分
- 5美的电磁炉维修手册大全
- 1.56 MB | 24次下载 | 5 积分
- 6如何正确测试电源的纹波
- 0.36 MB | 19次下载 | 免费
- 7PIC16F716 数据手册免费下载
- 2.35 MB | 18次下载 | 5 积分
- 8万用表UT58A原理图
- 0.09 MB | 9次下载 | 5 积分
总榜
- 1matlab软件下载入口
- 未知 | 935121次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420062次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233088次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73810次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65988次下载 | 10 积分
评论
查看更多