Cadence Cuts Chip Verification From Weeks to Hours With AI Engineers and NVIDIA OpenShell