High-Level Synthesis: Productivity, Performance, and Software Constraints. (7th February 2012)