A Reusable Coverage-Driven Verification Environment for Network-on-Chip Communication in Embedded System Platforms