- Averant is a leader in static functional verification and property checking software. Averant's flagship product, Solidify, delivers unprecedented performance in functional verification of Verilog and VHDL RTL designs. Solidify supports HPL, OVA, PSL and OVL as input languages, includes high-performance auto checks, and comes with a coverage option. Averant also sells static protocol checkers, including SolidAHB developed jointly with ARM. Averant's products improve verification productivity and design quality, shorten design cycle, reduce schedule risks, and eliminate unnecessary simulation.
|
