Algorithm-based low-power DSP system design: methodology and verification | IEEE Conference Publication | IEEE Xplore