US7945882B2 - Asynchronous Circuit Logical Verification Method, Logical Verification Apparatus, and Computer Readable Storage Medium