Qianzhou Wang, Yat Wong, Zhiqiang Que, Wayne Luk. Verifying Hardware Optimizations for Efficient Acceleration. In HEART 2022: International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, Tsukuba, Japan, June 9 - 10, 2022. pages 17-23, ACM, 2022. [doi]
Abstract is missing.