Efficient Design Space Exploration for Dynamic & Speculative High-Level Synthesis. - Dylan Leothaud; Jean-Michel Gorius; Simon Rokicki; Steven Derrien (FPL, 2024)