Taku Uchino Fumihiro Minami Takashi Mitsuhashi Nobuyuki Goto Switching activity analysis using Boolean approximation method. 20-25 1995 conf/iccad/1995 ICCAD http://doi.acm.org/10.1145/224841.224853 db/conf/iccad/iccad1995.html#UchinoMMG95