Simultaneous time slack budgeting and retiming for dual-Vdd FPGA power reduction | IEEE Conference Publication | IEEE Xplore