AXIOM Design Automation and Averant Form Powerful Alliance

MILPITAS, Calif.—(BUSINESS WIRE)—January 22, 2007— AXIOM Design Automation and Averant today 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. For more information, see our web site at

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


AXIOM Design Automation
Peter Robinson, 408-433-9997 ext. 116
Email Contact
Ramin Hojati, 510-581-8881 ext. 320
Email Contact


Review Article Be the first to review this article

SolidCAM - Learn More

Featured Video
Applications Programmer Analyst I for Southern Nevada Health District at Las Vegas, Nevada
Applications Programmer Analyst II for Southern Nevada Health District at Las Vegas, Nevada
GIS Project Manager for VHB at Wethersfield, Connecticut
Upcoming Events
Robotics Summit & Expo at Seaport World Trade Center 1 Seaport Lane Boston MA - Sep 24 - 25, 2020
DEVELOP 3D Live 2020 New Date November 3rd at Sheffield University ctagon and INOX Building, Durham Road Sheffield United Kingdom - Nov 3, 2020
Digital Twin 2020 - Now in November 2020 at Melbourne FL - Nov 4 - 5, 2020
Sensors Expo & Conference at McEnery Convention Center SAN JOSE CA - Nov 16 - 18, 2020

© 2020 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation GISCafe - Geographical Information Services TechJobsCafe - Technical Jobs and Resumes ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise