| 摘要 |
PROBLEM TO BE SOLVED: To design a circuit which has a higher power-saving effect by generating enable logic while taking don't-care conditions into account. SOLUTION: The enable logic which is controlling a storage element taken out of a circuit stored in a circuit information storage part 1 is stored in an enable logic information storage part 3 extracted by an enable logic extraction part 2. An enable logic expansion candidate extraction part extracts the minimum term having the largest signal value probability found by a signal value probability calculation part 5 for respective minimum terms included in an ON set of the stored enable logic. A don't-care condition inquiry part 6 inquires whether the taken-out minimum term meets the don't-care conditions of a user through a user interface 8 and moves this minimum term from the ON set to an OFF set when the minimum term meets the conditions. After all the minimum terms included in the ON set are processed, an enable logic update part 7 updates the enable logic according to the new ON set.
|
