Herklotz, Y., Pollard, J. D., Ramanathan, N., & Wickerson, J. (2021). Formal Verification of High-Level Synthesis. Proc. ACM Program. Lang., 5. https://doi.org/10.1145/3485494