Title:
【発明の名称】論理合成システム及び論理合成方法
Document Type and Number:
Japanese Patent JP2937943
Kind Code:
B2
Abstract:
PROBLEM TO BE SOLVED: To make an optimizing processing efficient at the time of logic synthesis by improving the availability of the stored optimized result. SOLUTION: This system is provided with a Boolean expression converting part 13 to convert a Boolean expression extracted from a circuit description 12 by a Boolean expression extracting part 11 into one bit of the Boolean expression when the Boolean expression extracted from the circuit description 12 is vectorized, a constraint information classification par 14 to analyze a specified constraint condition 15 and to classify the constraint into whole constraint information extended over the whole of an object to be synthesized and individual constraint information extended over only a specified position of the circuit, a whole optimizing processing part 18 to perform optimization based on the whole constraint information, a Boolean expression restoring part 20 to return an optimizing result by the whole optimizing processing part 18 to an original bit width and an individual optimizing processing part 21 to perform the optimization based on the individual constraint information. In this case, when the optimizing result corresponding to the Boolean expression of the object of logical synthesis exists in an optimizing database 19, the Boolean expression is appropriated and when the Boolean expression does not exist in the optimizing database 19, the optimization is executed and the result is simultaneously registered in the optimizing database 19.
Inventors:
HIRANO NOBUYUKI
Application Number:
JP12109397A
Publication Date:
August 23, 1999
Filing Date:
May 12, 1997
Export Citation:
Assignee:
MITSUBISHI DENKI KK
International Classes:
G06F17/50; (IPC1-7): G06F17/50
Domestic Patent References:
| JP9212540A | ||||
| JP8212246A | ||||
| JP442372A | ||||
| JP6473462A |
Attorney, Agent or Firm:
Kenji Yoshida (2 outside)