Switching activity analysis for sequential circuits using Boolean approximation method | IEEE Conference Publication | IEEE Xplore