Data path structures and heuristics for testable allocation in high level synthesis | Publicación