Circuit activity based logic synthesis for low power reliable operations | IEEE Journals & Magazine | IEEE Xplore