High-level synthesizer