摘要 |
PROBLEM TO BE SOLVED: To obtain a method of verifying connection between macros of an LSI capable of performing the verification of the propriety of connection between macros, without requiring man-hours of extracting only the net list from the subject of verification, the man-hours of making a test pattern, the man- hours of analyzing whether the subject of verification is connected correctly from the output pattern, and others. SOLUTION: When performing verification of connection between macros, a table for defining the connection between macros and the subject of verification are compared with each other, using an inter-macro (A, B, C, and D) check program, and the result of verification as to whether the subject of verification according to the table to show the connection between macros is outputted in file form. Therefore, this system does not require man-hours of extracting only the net list from the subject of verification, the man-hours of making the test pattern, the man-hours of analyzing whether the subject of verification is correctly connected from the output pattern, and others, so that this can confirm propriety of the connection between the macros, in a shorter time.
|