Formal ESL Synthesis for Control-Intensive Applications

Figure 2

The back-end inference logic rules structure.