Selected High-Level Synthesis Publications