Knowledge Center ➜ Entities

Averant, Inc.

Formal verification tools company


Verification of ICs and digital intellectual property. Products include Solidify, a static functional verification engine that provides vectorless verification, code coverage, simulation monitors, and testbenches; and SolidAC, which automatically checks a circuit for common design problems. The company also provides SolidPC, an automatic AMBA protocol verifier to verify design module compliance with protocols; and SolidTC, an automatic timing constraint verifier to verify the correctness of false-path and multi-path constraints in a timing exceptions file.

  • HQ: Hayward, CA, USA
  • Known for: formal verification,
  • Web: URL
  • Type: Company