We presented at a completely new show focused on innovation within the verification space - Verification 3.0 Innovation Summit. All the verification technology leaders were there: Breker, OneSpin, Imperas, Vayavya, Agnisys, Methodics, Vtool, Verifyter and many more.

Verification 3.0 was held at the Levi's Stadium Auditorium. After some welcoming words by Jim Hogan the show started with the keynote speech from Joe Costello. It ended many interesting presentations later with Verifyter's talk about predicting bugs (see picture below) expanding on our DVCon poster we presented recently, digging deeper into what we actually mean with "features". The day finished off with a reception in the Oak Room situated high up in the stadium with an amazing view.

We presented the poster "Predicting Bad Commits" at DVCon, Feb 26 2019, San Jose, CA , where we explored the feasibility of using machine learning to predict bugs. Bug prediction occurs before tests are launched. At this time there is not even a test failure to analyze.

The idea is that the better you can predict bugs the better you can control the verification flow. This means that you can control whether to run a large/small test suite depending on how risky the recent changes are. Also debugging of bugs takes less time as you know the most likely culprits before you start.

We also participated in a round table discussion on AI and EDA, which will end up as an article series by Brian Baily in semiengineering.com

Larry Melling (Cadence), Harry Foster (Mentor), Daniel Hansson (Verifyter), Manish Pandey (Carnegie Mellon), Doug Letcher (Metrics), Raik Brinkmann (OneSpin) 

At our booth we talked about bug prediction and automatic debug at our booth, which had quite a few visitors. According to our scientific studies machine learning attracts more engineers than candy these days :-)

At MTVCon, Dec 10-11 2018, Austin, TX Christian Graber from Verifyter presented a paper on bug prediction using machine learning called "Boosting Continuous Integration performance with Machine Learning".

This presentation was part of a session focused on how machine learning can be used in conjunction with mining version control data to predict bugs.

As part of this session Alper Sen, associate professor from Bogazici University, presented a paper called "Predicting Buggy Modules During Virtual Prototype Developement" which focused on predicting bugs in SystemC with very good results.

Avi Ziv from IBM Research presented "Mining version control data - are software and hardware the same?" where he talked about what the hardware community can learn from the software community, especially in the field called MSR, Mining Software Repositories, which is a very active software research community centered around the annual MSR conference. He also described some concrete work that have been done in this area inside IBM.