YABUMOTO NORIKO

Method and apparatus for logic equivalence verification, and computer product