An efficient framework for high-level power exploration | IEEE Conference Publication | IEEE Xplore