| 摘要 |
PURPOSE: To shorten the logic synthesis processing time by providing a certain reference used to determine which rule should be first applied. CONSTITUTION: Only model examples concerned at present are designated as VISIBLE model examples, and only rules related to VISIBLE model examples are applied, and model examples which are recently related to rules evaluated as TRUE rules are designated as NEW model examples, and only rules related to NEW model examples are applied. Model examples deleted by application of rules are designated as DELETED model examples, and only rules related to non-DELETED model examples are applied, and correspondence between model examples and rules is divided into groups by a value called SIZEWIN which indicates an effect measure, and the group having the maximum SIZEWIN value is first applied. Thus, the execution time is not unnecessarily extended.
|
