425401.fig.006
Figure 6: Part of the AADL description of the hardware platform specializing the AADL generic FPGA extension (some details are not given in this description).