UMOC: Unified Modular Ordering Constraints to Unify Cycle- and Register-Transfer-Level Modeling | IEEE Conference Publication | IEEE Xplore