This session will describe applying known and trusted static, formal and dynamic
approaches to verification performed at the C++ or SystemC HLS level of
abstraction.
This talk provides a brief overview of NVIDIA Research’s use of Catapult HLS and
highlights some useful features and flows of the Connections library, such as
the ability to back-annotate SystemC simulations.
One or more images on this page have not been approved within the Siemens Digital Asset Management (DAM) Platform, preventing them from being published. However, you can view these images in Preview mode, where they are highlighted here with a dotted yellow border.