Figure 4:
HIL verification paradigm.