Alex Rodionov, Jonathan Rose: Synchronization Constraints for Interconnect Synthesis. FPGA 2017: 95-104