Automated Verification Code Generation in HLS Using Software Execution Traces (Abstract Only).

Liwei Yang, Swathi T. Gurumani, Suhaib A. Fahmy, Deming Chen, Kyle Rupnow

Browse the full FPGA paper archive.