Formal derivation of optimal active shielding for low-power on-chip buses | IEEE Journals & Magazine | IEEE Xplore