RTL OPTIMIZATION METHOD, DEVICE AND PROGRAM

摘要

PROBLEM TO BE SOLVED: To optimize a description of an if-else branch in an RTL source.;SOLUTION: An if-else extraction part 11 of an RTL optimization device 1 extracts an if-else branch from an RTL source 21, and a data generation part 13 generates information about the if-else branch having the number of paragraphs that is equal to or higher than a threshold determined by a threshold determination part 12. A correction method determination part 14 determines a correction method on the basis of the number of bits of a signal, presence or absence of the same name signal and presence or absence of AND connection in a condition for an if-else sentence, and a correction part 15 corrects the RTL source 21 in accordance with the determined correction method and outputs a corrected RTL 27.;COPYRIGHT: (C)2014,JPO&INPIT