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