A Data-Driven Escape from the Verification Pit of Despair
Abstract: A verification crisis is upon us that will not be solved solely through improvements in verification point tools. The solution requires a holistic and philosophical change in the way we approach design with a foundation based on bug prevention combined with collaborative data-driven verification solutions . In this presentation, Harry presents the state of verification today based on the findings from the 2022 Wilson Research Group study and then proposes a novel solution to today’s verification crisis.
Harry Foster is Chief Scientist Verification for Siemens Digital Industries Software; and is the Co-Founder and Executive Editor for the Verification Academy. Harry served as the 2021 Design Automation Conference General Chair, and is currently serving as Past Chair. He holds multiple patents in verification and has co-authored six books on verification. Harry is the recipient of the Accellera Technical Excellence Award for his contributions to developing industry standards. In addition, Harry is the recipient of the 2022 ACM Distinguished Service Award, and the 2022 IEEE CEDA Outstanding Service Award.