News Release from: Real Intent
Edited by the Electronicstalk Editorial Team on 21 December 2005

Convergence engine brings verification together

Real Intent has begun shipping its Verix 5.0 software release in volume with a new breakthrough Convergence Engine.

Note: Readers of the Editor’s free email newsletter will have read this news when it was announced. . It’s free!

Real Intent has begun shipping its Verix 5.0 software release in volume with a new breakthrough Convergence Engine. With this release, the entire Verix family of products - Implied Intent Verification, Clock Intent Verification and Expressed Intent Verification - has received major improvements across the board, including breakthrough performance and capacity increases, functionality and user interface improvements. For typical designs, improvements of 10x in speed and capacity are possible, and many designs which were impossible for any other tools in the marketplace to formally verify, now complete quickly with Verix.

SiCortex, a leading developer of high-performance cluster systems, is among the first to use Verix 5.0 in its design flows.

'The complexity of our project and the pressure of our aggressive schedule forced SiCortex to find additional ways to enhance our verification strategy'.

'In parallel with writing functional tests and running as many simulations as possible, we decided to use static formal verification tools', said Oleg Petlin, Director of Verification at SiCortex.

'We evaluated the Verix family, including Implied Intent Verification and Expressed Intent Verification'.

'We were impressed that we found real design bugs in a short time, without creating testbenches or assertions, using Implied Intent Verification'.

'Moreover, with an early version of the Verix 5.0 software, we were able to gain deeper insight into our design using assertions and Expressed Intent'.

'At 400 clock cycles, the depth of analysis was sufficient to prove the correctness of our assertions, and guarantee the circuit works properly'.

'In addition, we learned an important lesson that investing time and money into assertion based verification pays dividends in both simulation and static formal verification environments'.

'The Verix 5.0 release and its Convergence Engine is a great step forward in power and utility'.

'We bought Verix based on these results', concluded Petlin.

'With the Verix 5.0 release, we are delivering the broadest formal platform in the industry, with the strongest underlying engine technology', said Prakash Narain, CEO of Real Intent.

'The result is higher verification efficiency'.

'While our products work together in an integrated suite, customers can pick and choose the pieces they want, and get started with exactly the technology combination they will use'.

The core of performance and capacity increases is a proprietary new formal engine, the Convergence Engine.

The Convergence Engine has two capabilities that deliver breakthrough performance, adaptive orchestration, and two-dimensional compression.

Adaptive orchestration is a key new algorithm for deliberating a proof between multiple solvers to create a solution in the most optimal manner.

By creating a dynamic nexus between multiple solvers, the overall proof is highly accelerated.

Two-dimensional compression is a novel technology that combats state space explosion by focusing in on a subset of the design to process in two ways.

The first dimension compresses using the natural hierarchy of the design, while the function and connectivity are taken into account for the second dimension.

This effectively makes the design smaller, and runs faster.

In addition, design and clocking style support has been substantially increased across the solvers, leading to higher throughput in the system.

A completely revamped integration with Debussy, the industry leading debug interface from Novas is now available as an option to 5.0, direct from Real Intent.

The integration is much tighter, and specific areas of major improvement are the addition of clock domain colouration in RTL and schematic views, in the Clock Intent Verification tool.

Real Intent reckons that clock domain crossing debugging has never been faster or more powerful.

Verix 5.0 is shipping now.

• Real Intent: contact details and other news
• Other news in Design and Development Software
• Email this news to a colleague
•
• RSS news feed for Real Intent
• RSS news feed for Design and Development Software
• Electronicstalk Home Page

 
Advertisers! Download our free 2006 media pack now