An efficient data path synthesis algorithm for behavioral-level power optimization | IEEE Conference Publication | IEEE Xplore