Synthesis from multi-cycle atomic actions as a solution to the timing closure problem | IEEE Conference Publication | IEEE Xplore