Monday, May 16, 2011

OneSpin announces 360 MV-based formal verification environment adopted by Renesas MCU platforms

MUNICH, GERMANY, TOKYO, JAPAN & SUNNYVALE, USA: OneSpin Solutions, an EDA company that provides innovative formal assertion-based verification solutions, announced the adoption of its functional verification environment based on the OneSpin 360MV formal verification solution for Renesas Electronics’ microcontroller (MCU) platforms.

The new environment has proven to be 50x faster than simulation-based verification for testing the performance of an MCU; applying it to the platform development flow enables Renesas Electronics more rapid development of high-quality MCU products than before.

OneSpin 360 MV met Renesas Electronics’ requirement for a verification solution capable of quickly checking connections – such as bus transactions – between blocks that comprise the MCU platform at the chip level. In addition, it met Renesas Electronics’ need for an easy-to-read property description format that makes it simple to understand the specification from the description, together with a high performance functional verification tool for platform development.

As a new scheme to address these needs, OneSpin’s 360 MV solution provides an SVA library (Operational ABV) for the operational modeling layer that is specifically targeted to ease the capture of entire timing diagrams in a single assertion. It also offers sufficient capacity and performance to handle verification efficiently from the block level up to the chip level.

According to Kazutami Arimoto, GM, System Core Development Division of Renesas Electronics: "We were looking for a verification method that significantly increases the performance of our functional verification for the MCU platforms. We selected OneSpin’s 360 MV technology because it provides the best solution for our needs for advanced capabilities to enable functional verification during the product deployment phase of platform development in a significantly shorter timeframe than logic simulation. The ease of use of Operational ABV, combined with the capacity and performance of 360 MV, saves significant effort in the Renesas Electronics functional verification flow compared to logic simulation.”

Peter Feist, CEO of OneSpin Solutions, said: “Developing assertions has never been simpler. Using the OneSpin 360 MV solution, engineers now can express entire timing diagrams intuitively and concisely with only a single day of training. We are pleased that Renesas has used 360 MV to build a formal verification environment for MCU platforms, to achieve a superior verification quality – and do so much faster than traditional verification approaches.”

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.