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

Liwei Yang, Swathi T. Gurumani, Suhaib A. Fahmy, Deming Chen, Kyle Rupnow. Automated Verification Code Generation in HLS Using Software Execution Traces (Abstract Only). In Deming Chen, Jonathan W. Greene, editors, Proceedings of the 2016 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Monterey, CA, USA, February 21-23, 2016. pages 278, ACM, 2016. [doi]

Abstract

Abstract is missing.