SolidAC from Averant automatically checks your RTL code for a number of common, yet elusive, design problems including:

• Deadcode
• Dead lock / Livelock
• Clock Domain Crossing (CDC)
• CDC with datastability & Gray code check
• Full / parallel case Pragma check
• Reset propogation
• Contention
• Array Bounds
• X assigment propogation

With the Properties prewritten, SolidAC is the easiest way to introduce the benefits of static functional verification to your project. The only input to the tool is your RTL code. SiImply select the check you require and press run!

With the ability to quickly find hidden bugs SolidAC offers a rapid return on your investment.