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."
About AXIOM
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. For more information, see our web site at http://www.axiom-da.com.
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. For more information, see our web site at www.averant.com
Contact:
AXIOM Design Automation
Peter Robinson, 408-433-9997 ext. 116
Email Contact
or
Averant
Ramin
Hojati, 510-581-8881 ext. 320
Email Contact
