High-level synthesis | lit.salon