Magma Unveils Quartz Formal Verification Tool with IBM Technology

4/23/2004 - Magma Design Automation Inc. (Nasdaq: LAVA), a provider of chip design solutions, announced QuartzTM Formal, a new formal verification product based on Boolean equivalence technology licensed from IBM. Quartz Formal joins QuickCap in Magma’s suite of software products for signoff in integrated circuit (IC) design.

“This logic equivalence checking technology is truly battle tested,” said Rajeev Madhavan, Magma chairman and chief executive officer. “It is based on technology that has been proven on some of the most demanding custom and standard IC designs IBM has produced. Quartz Formal is a complete equivalence checking environment that encompasses the design implementation spectrum from RTL to gates and transistors. With this transaction we will be providing our customers with formal verification technology that supports RTL-to-gate equivalence checking, gate-to-gate equivalence checking and unique transistor-to-gate equivalence checking. And they will also enjoy an advantage in speed: with this technology our own quality assurance process has sped up by a factor of 6 to 20. That’s part of the reason we wanted to license this technology.”

IBM has been developing and using this logic equivalence checking technology that Magma licensed for over 8 years. It has been used to support designs with greater than 270 million transistors, including IBM POWER4 and POWER5 microprocessors, as well as multiple ASIC designs.

“The Quartz Formal product is about 10 times faster than any formal verification product we’ve used before,” said Moazzem Hossain, president and CEO of Fastrack Design. “This technology has helped us identify a couple of subtle problems in the designs that were considered clean by another leading verification tool. Combining this verification technology with Magma’s IC design flow will provide both assurance of highest quality and faster turnaround time.”

Magma’s Suite of Signoff Software
The addition of Quartz Formal to Magma’s line of products expands the company’s product offerings for IC design signoff. In 2003 Magma acquired QuickCap®, a product extensively relied upon by all industry-leading extraction tools as the “gold standard” for accuracy, and QuickIndTM, which extracts inductance characteristics of interconnects from 3D physical structures. With Quartz Formal, the portfolio of signoff software adds yet another standard-setting product.

About Magma Design Automation
Magma provides leading software for designing highly complex integrated circuits while maximizing Quality of Results with respect to area, timing and power, and at the same time reducing overall design cycles and costs. Magma provides a complete RTL-to-GDSII design flow that includes prototyping, synthesis, place & route, and signal and power integrity chip design capabilities in a single executable, offering “The Fastest Path from RTL to Silicon”TM. Magma’s software also includes products for advanced physical synthesis and architecture development tools for programmable logic devices (PLDs); capacitance extraction; and characterization and modeling. The company’s stock trades on Nasdaq under the ticker symbol LAVA. Visit Magma Design Automation on the Web at

Magma and QuickCap are registered trademarks, and Quartz, QuickInd and “The Fastest Path from RTL to Silicon” are trademarks, of Magma Design Automation Inc. IBM, POWER4 and POWER5 are trademarks or registered trademarks of IBM Corporation in the United States and/or other countries.

Previous Page | News by Category | News Search

If you found this page useful, bookmark and share it on: