Productivity Gains Eliminate Verification Bottlenecks

June 7, 2007
It's now the rule rather than the exception: Logic designers must accept responsibility for verification. But time is short, so it behooves EDA vendors to enhance verification productivity. In the latest improvements to its Logic Design Team (LDT)

It's now the rule rather than the exception: Logic designers must accept responsibility for verification. But time is short, so it behooves EDA vendors to enhance verification productivity. In the latest improvements to its Logic Design Team (LDT) portfolio of verification tools, Cadence addresses three key bottlenecks that hamper productivity (see the figure).

Cadence has beefed up the formal engine in its Incisive Formal Verifier, providing a 5 × to 50 × gain in both speed and capacity. The LDT flow is now better positioned to enable designers to adopt standard assertion languages. A second improvement is in the LDT portfolio's ties to hardware simulation acceleration. The functional blocks that designers are responsible for are becoming large enough for acceleration to be helpful. Designers find themselves using constrained-random, coverage-driven testbenches on their million-plus-gate blocks.

Cadence's answer is a "hot-swap" capability between its Xtreme hardware accelerator and the Incisive Simulator. A seamless interface between the simulator and the hardware accelerator lets users switch between them in seconds. Now, 100 million clock cycles take 11.5 days on the simulator but just 2.4 minutes on the Xtreme accelerator.

Lastly, Cadence has addressed the amount of time it takes to set up an assertion-based verification environment. Packages of verification IP (VIP) are available for the AMBA AHB and AXI protocols as well as the Open Core Protocol.

The LDT verification portfolio is available now. Contact Cadence for pricing.

Cadence Design Systems
www.cadence.com

Sponsored Recommendations

Highly Integrated 20A Digital Power Module for High Current Applications

March 20, 2024
Renesas latest power module delivers the highest efficiency (up to 94% peak) and fast time-to-market solution in an extremely small footprint. The RRM12120 is ideal for space...

Empowering Innovation: Your Power Partner for Tomorrow's Challenges

March 20, 2024
Discover how innovation, quality, and reliability are embedded into every aspect of Renesas' power products.

Article: Meeting the challenges of power conversion in e-bikes

March 18, 2024
Managing electrical noise in a compact and lightweight vehicle is a perpetual obstacle

Power modules provide high-efficiency conversion between 400V and 800V systems for electric vehicles

March 18, 2024
Porsche, Hyundai and GMC all are converting 400 – 800V today in very different ways. Learn more about how power modules stack up to these discrete designs.

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!