Averant provides the most technologically advanced Static Functional verification tool available today. Averant's flagship product, Solidify™, delivers unprecedented performance in the functional verification of Verilog and VHDL designs. Solidify supports the PSL, SVA, and OVL assertion languages, includes a series of easy-to-use automatic checks, and offers the industry's only patented coverage option for formal verification. Averant also markets SolidPC™, a static protocol checker for the AMBA bus protocol. Jointly developed with ARM, SolidPC has earned "AMBA 3 Assured™" logo certification.

Consultants' Corner
Gary Stringham & Associates, LLC
Sunburst Design, Inc.
Sutherland HDL, Inc.
XtremeEDA Corp.