摘要 |
PROBLEM TO BE SOLVED: To provide a logic verification method, a verification circuit information extraction program, and a verification circuit modification apparatus, which allow a verification circuit to be applied for both a logic simulator and a format verification tool that support different languages so as to perform efficient testing.SOLUTION: A testing apparatus includes: a verification circuit information extraction unit that extracts verification circuit information from a first verification circuit that is a reuse source; and a verification circuit conversion unit that generates a second verification circuit in a programming language that is specified by using the extracted verification circuit information. |