High-level modeling of switching activity with application to low-power DSP system synthesis | IEEE Conference Publication | IEEE Xplore