Verification work reduction methodology in low-power chip implementation. - Masanori Kurimoto; Takeshi Yamamoto; Satoshi Nakano; Atsuto Hanami; Hiroyuki Kondo (ACM Trans. Design Autom. Electr. Syst., 2012)