摘要 |
PROBLEM TO BE SOLVED: To reduce a design period and a burden on a designer. SOLUTION: Description information related to an analysis target path is extracted from description information related to paths present in an analysis target circuit by an analysis target path extraction part 401, and it is decided whether the description information related to the analysis target path is a false path or not by a false path decision part 405 on the basis of a decision result of whether description information related to an analysis target extracted by a compression description information decision part 406 is included in the description information related to an already detected false path or not. A specific circuit element is specified by a specification part 403, the compression description information is generated by a generation part 404, and description information proving cause of the false path is generated on the basis of the description information related to the specific circuit element wherein input signals are inconsistent with each other among the specific circuit elements in the compression description information. COPYRIGHT: (C)2007,JPO&INPIT
|