the statement, a region for storing a dependent relationship table expressing the dependent relationship between the statements, and a correspondence relationship table expressing the correspondence relationship between the statement correspondence table and the circuit component table, wherein the statement correspondence table includes an attribute expressing kinds of descriptions, the correspo