|
Averant, Inc.
Booth # 804
1050 Marina Village Pkwy., Ste. 201
Alameda, CA 94501
510-864-1657
Averant provides the most technologically advanced 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, 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.
|
