Execution condition analysis in high level synthesis: a unified approach | Publicación