Solid ACTM

Property verification at the touch of a button.

AutoChecks is the easiest way to introduce the benefits of static fuctional verification. The tool automatically checks a design for a number of common, yet elusive problems. AutoChecks reads your RTL source, and you just select the checks you want to run.

Get immediate return on investment with the ability to quickly find hidden bugs.

Solid AC<sup>TM</sup>
Solid AC<sup>TM</sup>

Design checks

Dead code
Deadlock / Livelock
Clock domain crossing (CDC)
CDC with Data stability & Gray code check
Full / parallel case pragma
Reset propagation
Contention
Array bounds
X-assignment propagation
A Demo of Dead Code verification Check in Solidify
A Demo of Deadlock Check in Solidify