Verification has always been hard, but it's growing exponentially more difficult with increasing system-on a-chip (SoC) complexity. It's tempting for verification teams to adopt new languages, ...