Synchronization detection for multi-process hierarchical synthesis | IEEE Conference Publication | IEEE Xplore