Simultaneous slack budgeting and retiming for synchronous circuits optimization | IEEE Conference Publication | IEEE Xplore