摘要 |
PROBLEM TO BE SOLVED: To provide a property correction program for correcting a property by detecting the leakage of an illegal pass in the property in the logical design of LSI design, and to provide a property correction method and an LSI design processor using the method. SOLUTION: In the property correction method for correcting the properties of respective basic circuits in the logical circuit constituted of a plurality of basic circuits at the time of LSI design, a property correction program and the LSI design processor using the property correction method, a virtual circuit is generated by virtually deleting a basic circuit of which the property is to be corrected, logic on the basic circuit part to be corrected is detected on the basis of the virtual circuit and the property is corrected on the basis of the logic. COPYRIGHT: (C)2005,JPO&NCIPI
|