High-Level Synthesis From Algorithm to Digital Circuit - Coussy, Philippe; Morawiec, Adam (Springer Netherlands, 2008)