High-level synthesis method, high-level synthesis device, and high-level synthesis system

摘要

PROBLEM TO BE SOLVED: To generate an RTL description in which an arbitrary functional safety mechanism is implemented. SOLUTION: An operation description 110 that defines a functional logic, a high-level synthesis script 120 that defines a high-level synthesis constraint, and a functional safety mechanism implementation specification 130 that specifies a functional safety mechanism inserted in the process of high-level synthesis are used. This is a high-level synthesis method that generates an RTL description with a functional safety mechanism inserted. In the high-level synthesis method, after the control data flow graph generation step S1 in which the high-level synthesis unit generates the control data flow graph using the operation description 110 and the control data flow graph generation step S1, the high-level synthesis unit uses the functional safety mechanism. It has a first functional safety mechanism insertion processing step S2 for inserting the functional safety mechanism into the control data flow graph according to the mounting specification 130. [Selection diagram] FIG. 19