Averant, based in Alameda, CA, is a leading provider of powerful verification tools for digital designs, offering a suite of comprehensive analysis solutions built upon advanced formal verification technology.
Their static functional verification tools, including Solidify, SolidSEC, SolidAC, and SolidTC, enable fast and rigorous analysis, ensuring the highest quality for designs through automatic design checks, timing constraint verification, sequential verification, and static functional verification.
Generated from the website