Verification Futures 2019
|Conference:||Verification Futures 2019 (click here to see full programme)|
|Speaker:||Yoav Hollander, Foretellix Ltd|
|Presentation Title:||Autonomous Vehicles Verification – A Perspective|
|Abstract:||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.
|Speaker Bio:||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.