METHOD AND DEVICE FOR VERIFYING RATIO OPERATION AND STORAGE MEDIUM RECORDING RATIO OPERATION VERIFICATION PROGRAM

摘要

PROBLEM TO BE SOLVED: To improve reliability and efficiency in the verification of a ratio circuit by automating the specification of a signal collision spot, the extraction of the ratio circuit and the generation of an input pattern for ratio circuit verification. SOLUTION: This method is provided with an automatic signal collision spot extraction step for automatically extracting the spot of signal collision occurrence and the time of simulation while using logic simulation, an automatic ratio operation part circuit extraction step for automatically extracting the ratio circuit concerning the signal collision spot extracted in the automatic signal collision spot extraction step and a circuit simulation step for simulating circuit operation concerning the ratio circuit extracted in the automatic ratio operation part circuit extraction step.