Cadence BLOG - Best User Track Paper Review Deploying Model Checking for Bypass Verification