SolidAC

SolidAC from Averant automatically checks your RTL code for a number of common, yet elusive, design problems including: Deadcode Dead lock / Livelock...

Solidify

Solidify from Averant offers state of the art static functional verification. The underlying technology is mature, having been employed on many production designs over the last six years. Solidify is...

SolidPC

SolidPC from Averant is a tool for verifying that designs adhere to the ARM AMBA 2.0 AHB, APB and AMBA 3.0 AXI protocol rules. Based on formal methods for exhaustive...