Whether you are starting a new design or troubleshooting a problem, use the Solution Center for Vivado Synthesis to guide you to the right information.
Vivado HLS can automatically verify the RTL using simulation, if a C test bench is provided.
Vivado HLS uses the C test bench to automatically generate an RTL test bench.
You are highly encouraged to understand the importance of the C test bench by reviewing the section on C test benches in the High-Level Synthesis Coding Styles chapter of the Vivado Design Suite User Guide High-Level Synthesis- RTL verification is only meaningful when the C test bench checks the results.
The process for verifying the RTL is shown in the Vivado QuickTake video Verifying your Vivado HLS Design.
Finally, a tutorial on RTL verification is provided in the Vivado HLS Tutorial
Three tutorial exercises show how the RTL can be verified, how an RTL simulator can be selected for the verification and how waveform trace files can be created, viewed and analyzed.