摘要 |
PROBLEM TO BE SOLVED: To easily verify the appropriateness of G/V connection by automatically detecting nonconformity between connection information of a net list and the definition of a component library. SOLUTION: A NOPOW type component selecting means 21 produces NOPOW type library use component information 31 for the components used in the net list 11 based on a NOPOW type component selection rule 13. A POW type library selecting means 22 produces corresponding POW type library name information 32 including corresponding information between NOPOW type library names and POW type library names from a component library 12, a POW type library selection rule 14, and the NOPOW type library use component information 31. G/V pin assignment verification means 23 produces difference information 40 including the difference between the net list 11 and the definition from the component library 12, the NOPOW type library use component information 31, and the corresponding POW type library name information 32. COPYRIGHT: (C)2003,JPO
|