Knowledge Center
Navigation
Knowledge Center ➜ Entities

Silicon Sorcery

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

Description

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


DEPRECATION: