摘要 |
A design-change-target-circuit detecting unit inputs circuit information including an element model describing an electronic circuit to detect an electronic circuit using a changed element model. A determining unit compares a characteristic of an element model before change and that of the element model after change. An analysis-necessity deciding unit decides whether waveform analysis is necessary, and when determining that waveform analysis is necessary, makes an instruction for waveform analysis of the electronic circuit using the element model after change. Furthermore, after the determination-necessity deciding unit determines that waveform analysis of the electronic circuit using the element model after change is not necessary and design requirement conditions of the electronic circuit including the element model after change are changed from those before change, an instruction for pass/fail determination as to whether existing waveform analysis results satisfy the design requirement conditions after change is made to cause the instruction to be executed.
|