High-Level Synthesis - Coussy, Philippe (Springer Netherlands, 2020)