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.