Register binding and domain assignment for multi-domain clock skew scheduling-aware high-level synthesis | IEEE Conference Publication | IEEE Xplore