Advances in Software Engineering

Review Article

Formal ESL Synthesis for Control-Intensive Applications

Figure 1

Hardware synthesis flow and tools.
156907.fig.001