A new cost model for high-level power optimization and its application | IEEE Conference Publication | IEEE Xplore