电子发烧友App

硬声App

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示
电子发烧友网>电子资料下载>C语言|源代码>如何在HIGH LEVEL SYNTHESIS之前查找代码问题的资料说明

如何在HIGH LEVEL SYNTHESIS之前查找代码问题的资料说明

2019-05-21 | rar | 1.40 MB | 次下载 | 免费

资料介绍

为了显著加快验证速度,处理每天都会变化的复杂算法,很多公司转向采用 High-Level Synthesis (HLS) 方法。但是,要利用在更高抽象度开展设计带来的相关性能改进,采用 C++ 或 SystemC 编写的高层次模型不仅要求正确无误,还要进行面积和性能优化,这一点极其重要。C++ 仿真作为一种快速的非时序仿真,是验证高层次模型是否具备正确功能的理想选择。但是,此仿真仅在验证平台准备就绪后方可进行。此外,C++ 语言具有歧义性,在仿真过程中很难发现。即使代码编写正确,高层次模型的代码编写方式也可能不太理想,导致综合之后硬件达不到预期。问题可能在 C++ 仿真中出现,或者导致此仿真与 RTL 仿真之间的仿真不匹配。也可能完全无法检测出问题(图 1)。

  图 1:编码问题、达不到预期的硬件或未检测到的问题都有可能

  C++ 模型的这些缺陷中,一些可以被静态软件分析工具指出,但这些工具本身是通用型软件,不能理解模型的硬件意图。

  虽然对 C++ 源代码运行语法检查器等软件检查工具的想法很有诱惑力,但这些工具并不理解硬件。团队可运行这些工具获得结果,但这些结果并不准确,而且可能误导设计人员以为代码中没有任何问题,这将会给综合和 RTL 仿真造成不利的影响。或者相反,他们可能会看到成百上千条实际没有问题的违例项。软件检查工具存在的一些硬件感知的问题包括:

  ■ 仅适用于 C++ 代码,而不支持 SystemC

  ■ 不理解比特精确数据类型

  ■ 仅采用静态分析,可能生成许多误报

  ■ 不理解某些代码可能生成不太理想或错误的硬件

  ■ 不能生成反例验证平台

  设计和验证团队真正需要的是一种能够在综合至 RTL 之前,快速、轻松地找出编码错误和不太理想的代码的工具。团队还需要避免 C++ 和 RTL 仿真之间的仿真不匹配(图 2)。


声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

资料有问题?举报资料奖积分

评论

请按住滑块,拖动到最右边
了解新功能

查看更多

广告

下载排行

本周

  1. 1PIC12F629/675 数据手册免费下载
  2. 2.38 MB   |  36次下载  |  5 积分
  3. 2PIC16F716 数据手册免费下载
  4. 2.35 MB   |  18次下载  |  5 积分
  5. 3STC15系列常用寄存器汇总免费下载
  6. 1.60 MB   |  7次下载  |  5 积分
  7. 4AN158 GD32VW553 Wi-Fi开发指南
  8. 1.51MB   |  2次下载  |  免费
  9. 5模拟电路仿真实现
  10. 2.94MB   |  2次下载  |  免费
  11. 6AN148 GD32VW553射频硬件开发指南
  12. 2.07MB   |  1次下载  |  免费
  13. 7PZT驱动开关电路
  14. 0.09 MB   |  1次下载  |  免费
  15. 8电子线路板及仿真实现
  16. 1.54MB   |  1次下载  |  免费

本月

  1. 1ADI高性能电源管理解决方案
  2. 2.43 MB   |  452次下载  |  免费
  3. 2免费开源CC3D飞控资料(电路图&PCB源文件、BOM、
  4. 5.67 MB   |  139次下载  |  1 积分
  5. 3基于STM32单片机智能手环心率计步器体温显示设计
  6. 0.10 MB   |  133次下载  |  免费
  7. 4PIC12F629/675 数据手册免费下载
  8. 2.38 MB   |  36次下载  |  5 积分
  9. 5美的电磁炉维修手册大全
  10. 1.56 MB   |  24次下载  |  5 积分
  11. 6如何正确测试电源的纹波
  12. 0.36 MB   |  19次下载  |  免费
  13. 7PIC16F716 数据手册免费下载
  14. 2.35 MB   |  18次下载  |  5 积分
  15. 8万用表UT58A原理图
  16. 0.09 MB   |  9次下载  |  5 积分

总榜

  1. 1matlab软件下载入口
  2. 未知  |  935121次下载  |  10 积分
  3. 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
  4. 1.48MB  |  420062次下载  |  10 积分
  5. 3Altium DXP2002下载入口
  6. 未知  |  233088次下载  |  10 积分
  7. 4电路仿真软件multisim 10.0免费下载
  8. 340992  |  191367次下载  |  10 积分
  9. 5十天学会AVR单片机与C语言视频教程 下载
  10. 158M  |  183335次下载  |  10 积分
  11. 6labview8.5下载
  12. 未知  |  81581次下载  |  10 积分
  13. 7Keil工具MDK-Arm免费下载
  14. 0.02 MB  |  73810次下载  |  10 积分
  15. 8LabVIEW 8.6下载
  16. 未知  |  65988次下载  |  10 积分