A computer-readable recording medium stores therein a verification support program that causes a computer to execute receiving a hardware description of a sequential circuit to be verified and a timing specification that indicates a timing constraint in the hardware description; converting the hardware...http://www.google.de/patents/US8060848?utm_source=gb-gplus-sharePatent US8060848 - Verification support apparatus, verification support method, and computer product
