Veriest & CEVA – Enabling Safety-Critical Automotive Design Verification