High-Level Synthesis: From Algorithm to Digital Circuit