high-level synthesis.