Exploiting the special structure of conflict and compatibility graphs in high-level synthesis | IEEE Conference Publication | IEEE Xplore