Averant provides the most comprehensive, field-proven, Static Functional verification tools available anywhere. Averant's flagship product, Solidify, delivers unprecedented performance in the functional verification of Verilog and VHDL designs. Solidify supports PSL, HPL, OVA, and OVL input languages, includes a series of easy-to-use automatic checks, and provides a coverage option - an industry first. Averant also offers a static protocol checker, SolidPC, jointly developed with ARM, and a timing constraint verifier, SolidTC, all built upon Averant's formal verification technology.
Averant, Inc. features products in the following categories:
22320 Foothill Blvd., Ste. 360
Hayward, CA 94541