A theory on repeater-insertion methodologies for SoC interconnects