A chip-verification veteran from Verisity and Cadence, he realized those coverage-driven methods could verify autonomous vehicles and co-founded Foretellix as CEO in 2018.