At DVCon US 2017 in San Jose Verifyter announced that 3 of the largest 5 semiconductor companies are now using PinDown to automate debug of regression failures. There was a lot of traffic at the booth where we demoed the latest version of PinDown which can automatically debug regression failures down to the exact line of code that is causing it.