A methodology for the behavioral-level event-driven power management of digital receivers | IEEE Conference Publication | IEEE Xplore