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.
Design checks
Dead codeDeadlock / 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