high-level_synthesis_from_algorithm_to_digital_circuit