SoCProbe: Compositional post-silicon validation of heterogeneous NoC-based SoCs (Best-Paper Award)