Formal verification of high-level synthesis. - Yann Herklotz; James D. Pollard; Nadesh Ramanathan; John Wickerson (Proc. ACM Program. Lang., 2021)