Knowledge Center ➜ Entities
Developer of tools for measuring test coverage, perform static verification and automatic test generation
LAST UPDATED ON April 9th, 2014
SureFire’s SureSolve, automatic RTL analysis and test generation, and SureCov, automatic code coverage and finite state machine analysis tool