摘要 |
PROBLEM TO BE SOLVED: To obtain a logic verifying device with a path delay inspecting function added thereto and a logic verifying method for efficiently generating a logic verification pattern only by specifying a critical path found from a timing verification result. SOLUTION: This device has a control data generation part 3 which generates event change control data (a) and generates data (b) for verification on a path, an event change control implementation part 4 which controls and implements event change processing for each signal in a circuit during logic verification according to the event change control data (a) and generates event change processing result data (c) and processing result data (d) for path analysis, a timing verification part 5 which verifies a path according to the data (b) and processing result data (d) and generates timing verification result data (e), and a logic verification result output part 6 which displays the event change processing result data (c) and the timing verification result data (e).
|