AXIOM, Averant Team on Formal Property Checking Technology

AXIOM Design Automation and Averant announced a dynamic new partnership between the two companies that will rapidly advance the adoption and use of formal property checking technology. Averant will integrate AXIOM’s popular “Designer” debugging GUI with its powerful formal verification tool Solidify(TM). AXIOM’s MPSim simulator will also be used in the flow as a platform to demonstrate failed properties to the user.

Based on its native simulation, testbench, formal and coverage technology, Designer is rapidly emerging as the next generation debug platform. It spans the complete design verification debug spectrum from simulation debug, testbench debug, code and functional coverage debug to constraint failure, formal verification, multi-clock domain verification and design rule checking debug. “We are very excited to be working with AXIOM’s Designer product. The combination of our leading edge formal verification technology with Designer’s unique debug capabilities will significantly simplify the use and adoption of formal model checking methodology for design and verification engineers,” says Ramin Hojati, president of Averant.

Based on its First in Formal(TM) static functional verification technology, Averant’s Solidify product has become the leading tool in use for formal property checking. “Averant’s formal engines, relationship with ARM and patented static code coverage have put them in the lead,” said Badru Agarwala, CEO and founder of Axiom. “The integration with our Designer product will help our customers to be more efficient in their verification flows.”

Originally founded as @HDL in 1999, AXIOM has been a pioneer in developing functional verification products. The company’s mission has always been to accelerate the verification flow and to increase the overall productivity of verification engineers. The introduction of the MPSim multi-CPU simulator provides a quantum leap in verification performance to the industry and enables AXIOM to offer a complete solution to its customers.

About Averant
Averant Inc., founded in 1997, is a privately held EDA firm pioneering new methodology and technologies for static formal verification. Averant provides Solidify, a robust formal verification engine that provides the basis for property-based design verification, protocol verification, timing constraint verification, and automatic design checks – all without the need for simulators or test vectors. These tools are easily adopted into the design flow, and help improve quality, reduce risk, and speed the design process.