When working with HLS many will have questions about what verification looks like. Waiting to verify until you have post-HLS RTL is too late and too inefficient. This session will give examples of how current HLS customers are able to improve verification in their production environments. It will introduce methodology and tools for HLS verification that is an order of magnitude faster at a higher level of abstraction but still applies known and trusted verification techniques to C++ or SystemC based designs.