Verification with multi-core parallel simulations: Have you found your sweet spot yet?