Figure 2.12 Back-Annotation (FPGAs Only)