Partial scan high-level synthesis | Publicación