Execution condition analysis in high level synthesis: a unified approach | IEEE Conference Publication | IEEE Xplore