Finding Code Problems Before High-Level Synthesis

Making sure C++ models are correct before simulation.


In order to significantly speed up verification and to handle complex algorithms that change daily, many companies are turning to a High-Level Synthesis (HLS) methodology. But, it is extremely important that the high-level C++ model is correct. In addition, the C++ language has ambiguities that can be tough to catch during simulation. Even if correctly written, the high-level model could be coded in a sub-optimal way, leading to unintended hardware after synthesis. Problems can arise in C++ simulation or lead to simulation mismatches between this simulation and the RTL simulation. Or, a problem could go completely undetected. This whitepaper presents how to solve all of these issues by using Catapult Design Checker.

To read more, click here.

Leave a Reply

(Note: This name will be displayed publicly)