Tag: high-level synthesis example