LOGIC VERIFICATION SYSTEM

摘要

PROBLEM TO BE SOLVED: To provide a logic verification system which automatically repeats a test of logic until the test becomes sufficient by generating a feedback loop for automatically generating test conditions and test data from the result of test sufficiency evaluation obtained by analyzing the coverage of a test conduction result although conventional technology has the problem that the quality of logic verification depends upon the skill of a person in charge since the person evaluates test sufficiency and generates test conditions and test data. SOLUTION: The test of the logic is conducted while the test conditions are automatically generated until the test of the logic becomes sufficient by forming the feedback loop which compares the gate test coverage of the logic simulation test conduction result with test sufficiency evaluation data and automatically generates the test data according to the comparison result.