摘要 |
<P>PROBLEM TO BE SOLVED: To verify an operation of a circuit change added for reduction of power consumption while reducing the operation load of a designer. <P>SOLUTION: In order to confirm a propagation range of a signal whose signal value is fixed by a control signal to restrain operations is within a predetermined range, it is determined by results of the logic simulation whether an operation restraining mode is enabled. If it is enabled, an operation probability restraint information list including the detected time and an ID of the net whose signal value is fixed is set to the net whose signal value is fixed, and then is propagated to the next net according to the results of the logic simulation. If the circuit changes are appropriated conducted, the results of the logic simulation do not satisfy the propagation condition of the operation probability restraint information list. Accordingly, the operation probability restraint information list is not propagated over the predetermined range, and no problem is detected. <P>COPYRIGHT: (C)2010,JPO&INPIT |