广告

High-Level Synthesis之前查找代码问题

时间:2018-11-02

为了显著加快验证速度,处理每天都会变化的复杂算法,很多公司转向采用 High-Level Synthesis (HLS) 方法。但是,高层次 C++ 模型必须是正确的,这一点极其重要。此外,C++ 语言具有歧义性,在仿真过程中很难发现。即使代码编写正确,高层次模型的代码编写方式也可能不太理想,导致综合之后硬件达不到预期。问题可能在 C++ 仿真中出现,或者导致此仿真与 RTL 仿真之间的仿真不匹配。也可能完全无法检测出问题。本白皮书介绍如何使用 Catapult Design Checker 解决所有这些问题。

关于 Mentor
Mentor, A Siemens Business是电子硬件和软件设计解决方案的世界领导者,主要产品为集成电路芯片和系统开发的各种设计、仿真、验证、测试工具。领先的工具包括:芯片物理验证工具 Calibre ®系列及OPC、芯片测试工具 Tessent ® DFT, SoC验证软件CDC ,Questa ® 及 Veloce ® 硬件仿真器、模拟电路仿真软件AFS™,IoT 及混合信号全流程芯片设计平台 Tanner, FPGA设计软件, PCB 设计Xpedition® 及高速电路分析软件Hyperlynx。

相关新闻

广告
广告
广告