Guarded evaluation: pushing power management to logic synthesis/design | IEEE Journals & Magazine | IEEE Xplore