Correct high-level synthesis: a formal perspective | Publicación