Taku Uchino Fumihiro Minami Masami Murakata Takashi Mitsuhashi Switching activity analysis for sequential circuits using Boolean approximation method. 79-84 1996 conf/islped/1996 ISLPED http://doi.acm.org/10.1145/252493.252576 db/conf/islped/islped1996.html#UchinoMMM96