High-level synthesis from algorithm to digital circuit - Coussy, Philippe; Morawiec, Adam (Springer, 2008)