在合成前以硬件为中心检查HLS代码的方法

节选自文章:在合成前以硬件为中心检查HLS代码的方法”

在c++或SystemC代码中发现编码问题，然后再将其传递给高级合成，这在历史上是一个棘手的过程。可以说，这延缓了HLS的采用。最近的一篇技术论文开云体育平台登录西门子EDA描述了如何在其Catapult HLS工具家族中解决这个问题…

开云体育平台登录西门子EDA的弹射器设计检查器位于公司的HLS验证解决方案中。它包括HLS蓝皮书的数字副本，其中包含rtl友好编码指南和一系列自动化流程，以解决这三种问题类型，使用以硬件为中心的静态和正式验证技术的组合

流程如图1所示，包括以下步骤:

阅读整篇文章TechDesignForum最初发布于2019年2月26日。