Resource Sharing for Verified High-Level Synthesis.

Michalis Pardalos, Yann Herklotz, John Wickerson

Browse the full FCCM paper archive.