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 checksDead code
Deadlock / Livelock
Clock domain crossing (CDC)
CDC with Data stability & Gray code check
Full / parallel case pragma