Founder of chip-verification pioneer Verisity, he applied his verification expertise to autonomous-vehicle safety, co-founding Foretellix as CTO.