摘要 |
PROBLEM TO BE SOLVED: To generate a logic circuit indicating an operation result capable of being easily compared with the executed result of a program. SOLUTION: A data flow graph is generated based only on the arithmetic sentence of a C program (S1). The data flow graph is divided and state names are allocated respectively (S2). An arithmetic operation for outputting the value of an observation variable is detected from the data flow graph, the state name of executing the arithmetic operation and the observation variable are stored in an observation variable-state list (S3) and an FSM(finite state machine) is generated (S4). In the FSM, to a control signal line corresponding to respective states in the list, the output terminal of an RT level description is added (S5). A data path is generated (S6) and the output terminal of the RT level description is added to a signal line corresponding to the respective observation variables in the list in the data path (S7). The FSM and the data path are connected and RT level data are generated (S8).
|