Is Solidify a model checker?
It is like a model checker in that behaviors or properties of a design are verified to comply with a specification. It is not a model checker since they are slow, capacity-limited, require special training to write properties for them, and have no interactive use model.
Averant has implemented unique new algorithms that delivers the speed & capacity improvement plus ease-of-use to make a practical analysis tool for the everyday RTL designer. This is in contrast to current tools (model checkers) that are limited to just 1-2K gates, 100-200 latches or registers, and take minutes-to-hours to run and require special training (CAD experts) to use. Solidify typically verifies a behavior in just a few seconds and runs on much larger blocks.
