Averant provides the most powerful Static Functional verification tools available. Averant's flagship product, Solidify™, delivers outstanding performance in the functional verification of Verilog and VHDL designs. Solidify supports PSL, SVA, OVA, and OVL assertion languages, includes a series of easy-to-use automatic checks, and provides a coverage option - an industry first. Averant also markets SolidPC™, a static protocol checker for AMBA protocols jointly developed with ARM, and SolidTC™, a timing constraint verifier all built upon Averant's formal verification technology.