Verifyter was founded with the mission to transform the development process by automating debug of regression test failures, especially targeting the ASIC market.
The company’s flagship tool, PinDown, is an automatic debugger of regression failures. It performs an automated, validated identification of faulty code by fixing regression bugs locally and making the failing test pass again in order to prove that it has identified the correct set of faulty code.
