DVCon Expo: Exhibitors/Floorplan Averant, Inc. Booth # 305
22320 Foothill Blvd., Ste. 360
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. Tuesday, February 24, 2009 - 2:00 - 6:30pm (Bayshore Ballroom)  |
Conference Sponsor:
