Estimation of activity for static and domino CMOS circuits considering signal correlations and simultaneous switching | IEEE Journals & Magazine | IEEE Xplore