摘要 |
PROBLEM TO BE SOLVED: To optimize interface specifications among modules by verifying properties for every module. SOLUTION: This method for verifying LSI (large scale integration) is characterized by reading circuit description (S11), analyzing signal connection relation among hierarchies analyzed from the highest order hierarchy about the circuit description (S12), storing data of the signal connection relation among the hierarchies in a common data base, reading properties of modules to be verified in the circuit description, extracting only property places in which signals among the modules to be verified are included from the common data base (S13), extracting output operation properties in which an output operations in modules on the output side of the respective signals are defined and expecting operation properties in which expecting operations existing in modules on the input side from the properties (S14) and comparing the output operation properties with the expecting operation properties (S15) in functional verification of an LSI by using logical simulation. COPYRIGHT: (C)2003,JPO
|