SYSTEM FOR MEASURING RATIO OF COMPREHENSION IN LOGIC VERIFICATION

摘要

PURPOSE: To provide a method for checking the operation of state transition in logical simulation and finding out a comprehension ratio, an operation part and an unoperation part. ;CONSTITUTION: A branch condition extracting part 1 inputs a source file 4, extracts a branch condition and outputs the extracted condition to a branch condition file 5. A branch condition dividing part 2 divides respective branch conditions read out from the file 5 into individual signals and prepares a branch condition signal file 6 together with signal values obtained when respective branch conditions are set up. A comprehension ratio measuring part 3 calculates the number of combinations capable of setting up individual signals of the branch conditions which are stored in the file 6, calculates the number of practically executed combinations out of the combinations read out from a simulation result file 9, prepares a list of unexecuted signals out of the calculated combinations, and outputs 'the number of executed combinations/the total number of combinations' as a comprehension ratio for logic verification to a comprehension ratio file 10 together with the list of unexecuted combinations.;COPYRIGHT: (C)1995,JPO