Resource Sharing for Verified High-Level Synthesis. - Michalis Pardalos; Yann Herklotz; John Wickerson (FCCM, 2022)