Verification Patterns in the Multicore SoC Domain