Gate-level power estimation using tagged probabilistic simulation | IEEE Journals & Magazine | IEEE Xplore