MIKAWA YUKIHARU

Logical check apparatus and method for semiconductor circuits and storage medium storing logical check program for semiconductor circuits