Knowledge Center ➜ Entities

Surefire Verification Inc.

Developer of tools for measuring test coverage, perform static verification and automatic test generation


SureFire’s SureSolve, automatic RTL analysis and test generation, and SureCov, automatic code coverage and finite state machine analysis tool.

  • Founded by: Michael McNamara in 1996
  • HQ: Campbell, CA, USA
  • Known for: Coverage
  • Web: URL
  • Other names: Silicon Sorcery
  • Type: Company