CIRCUIT VERIFICATION DEVICE, CIRCUIT VERIFICATION METHOD, AND CIRCUIT VERIFICATION PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide a circuit verification device or the like which is capable of obtaining an index value objectively indicative of comprehensiveness of a test even in the actual device test of a logic circuit.SOLUTION: A circuit verification device 1 calculates code coverage of a measurement object logic circuit 2 described in a hardware description language and includes: coverage observation means 4a, 4b, and so on which measure whether codes corresponding to measurement object signals 3a, 3b, and so on extracted from a plurality of observation points provided in the measurement object logic circuit 2 have been executed or not; and coverage collection means 5 which aggregates measurement results of respective coverage observation means to quantitatively measure and output a proportion of tested codes to all the codes describing the measurement object logic circuit.