High-Level Synthesis & Critique