One factor making Autonomous Vehicles verification different from, say, electronic systems verification is that AVs are a complex mix of SW, HW, ML-based modules, mechanics and so on. Another is that the pass-fail criteria is much less well-defined.
This presentation will discuss AV verification from the point of view of somebody coming from VLSI / SoC verification, and discuss the challenges related to methodology, technology and mindset.
Yoav is a world expert and leader in verification. He Invented the “e” verification language and related VLSI verification methodology (later followed by the UVM methodology).
In the last few years, Yoav has been researching complex-system verification. He founded Foretellix, and maintains a blog at https://blog.foretellix.com.