Design control in a high level synthesis system | Publicación