HIGH ORDER COMPOSITION DEVICE, AUTOMATIC HIGH ORDER COMPOSITION METHOD, HIGH ORDER COMPOSITION PROGRAM, AND GATE NET LIST AUTOMATIC VERIFYING METHOD

摘要

PPROBLEM TO BE SOLVED: To provide a high order composition device, an automatic high order composition method, a high order composition program, and a gate net list automatic verifying method for suppressing the increase in the development period of an LSI accompanied with the change of a logical operation. PSOLUTION: This high order composition device is provided with an extraction part 11 for extracting difference information between first operation description and second operation description, a difference information storage region 203 for storing difference information, a first generation part 12 for generating correspondence information of the first operation description and first register transfer level description while generating the first register transfer level description from the first operation description, and a second generation part 13 for reading the difference information from the difference information storage region 203, and for changing the first register transfer level description on the basis of the correspondence information, and for generating second register transfer level description whose logical operation is equivalent to that of the second operation description. PCOPYRIGHT: (C)2007,JPO&INPIT