Verifyter

Verifyter develops and markets PinDown, an automatic debugger of regression failures, powered by machine learning

[Verifyter @Verifyter]

Cadence has acquired Verifyter, which will lead to some pretty cool stuff in the area of automatic debug and ML. Please join our workshop on ML-Driven Verification at DVCon on Thursday to see where this is heading:
https://t.co/0OnstkhOMw

[Verifyter @Verifyter]

Do you want to know step-by-step how to automate debug of regression failures? If yes, here is a tutorial video series on the topic #machinelearning #regressiontesting #debugging
https://t.co/yRcSFtTPFU

[Verifyter @Verifyter]

Optimize Verification with Accelerator (TM) + PinDown-ML #altairpartner @Altair_Inc https://t.co/uZCRDDDm59

[Verifyter @Verifyter]

@mrksbrg One can only hope :-)

[Verifyter @Verifyter]

PinDown now generating bug reports with feelings

https://t.co/D0LNRr0F2Z

[Verifyter @Verifyter]

Interested in ML-powered automatic debug, but you missed us at #DVCon_US? Don't worry, videos of our presentations are available here:
https://t.co/yHNNPANv9K

[Verifyter @Verifyter]

2. We are showing a live demo of PinDown (twice)

March 2, 2.00PM - 2.30PM PST Verifyter ("How does an Automatic Debugger work?")
March 4, 1.00PM - 1.30PM PST Verifyter ("Automatic Debug using ML")
https://t.co/e4utSeuAld (sign-up to DVCon required)

[Verifyter @Verifyter]

Two ways to learn more about the ML-powered, automatic debug at DVCon this week (thread):

[Verifyter @Verifyter]

1. We are presenting a paper on how to debug ML

This deals with both how to debug ML in general plus insights into PinDown
Title: "Supporting Root Cause Analysis of Inaccurate Bug Prediction Based on ML", part of the lecture "Automation Using Machine Learning", March 3, 10AM PST

[Verifyter @Verifyter]

How do you debug ML? That is the topic of our presentation at #DVCON_Us next week

"Supporting Root Cause Analysis of Inaccurate Bug Prediction Based on Machine Learning", part of the lecture "Automation Using Machine Learning", March 3, 10AM, @mrksbrg

https://t.co/WeBz7Vauu4

[Verifyter @Verifyter]

Free PinDown! At DAC next week, Verifyter will be providing a limited number of companies with a free 6-month license. You can automate debug until the end of the year at no cost! Please send a direct message for more info #57DAC #automateddebug #verification #regressiondebug

[Verifyter @Verifyter]

Do you want to learn about ML-powered Automatic Debug? Feel free to have a look at our 10-part video series

https://t.co/QHkrNX4rDz

[Verifyter @Verifyter]

How does PinDown debug random tests? Wonder no more, video no 5 is out!
https://t.co/zzB3J5VgyD
#dvcon_us #automaticdebug

[Verifyter @Verifyter]

Part 4 in our series on PinDown. This time a demo showing resilience in a flaky IT environment. Come by our booth @dvcon_us to learn more

Part 4. PinDown resilience
https://t.co/IBZvHpdPjh

[Verifyter @Verifyter]

Part 3: How does PinDown scale for large systems? Find out in this video or talk to us next week at our booth at @dvcon_us https://t.co/3AgpCSiA3D

[Verifyter @Verifyter]

How does PinDown handle dependencies? This is part 2 in our video series on PinDown https://t.co/wicK5YBrRK

[Verifyter @Verifyter]

The new version of PinDown uses machine learning to debug faster. If you can't wait until @dvcon_us , here is how it works:

https://t.co/NnHQfyTLuR

[Verifyter @Verifyter]

Panel on ”Machine Learning meets Design Automation” on day 2 at https://t.co/J6APOzkdP4 . Verifyter represented by Daniel (left in picture)

[Verifyter @Verifyter]

Presenting ”Instant Automatic Debug” at https://t.co/J6APOzkdP4, a collaboration with @OscarWerneman @mrksbrg @AliParsai as part of @TestomatProject

[Verifyter @Verifyter]

Presenting how to predict bugs at the Ericsson Developer Conference