PROBLEM TO BE SOLVED: To generate a net list in a non-unique state about a module used as an instance several times in an RTL, and to optimize the timing for all the cases.SOLUTION: A bus selection part 11 selects a bus in which the name of an instance is matched with the name of a module by referring to a violation database D11 and a correspondence table D12. The correspondence table D12 is data in which a module before being put in a non-unique state in the logical synthesis process and a bus of an instance after the logical synthesis process are associated with each other. The violation database D11 stores the value of timing violation about the bus of the instance. The bus selected by the bus selection part is compared by a violation comparison part 12, and the bus whose violation data is the worst is made to remain while the other buses are deleted. As for the remaining module, the optimization of a timing is performed by a timing optimization part 13 so that an optimized net list can be created.
展开▼