News & Analysis
Renesas uses OneSpin's formal verification environment for MCU platforms
AnneFrancoise PELE
5/16/2011 11:37 AM EDT
PARIS – Chip vendor Renesas Electronics Corp. announced it has licensed OneSpin Solutions' functional verification environment based on the 360 MV formal verification solution for its microcontroller (MCU) platforms. The new environment is said to have enabled a 50x speedup in MCU performance testing time compared to simulation-based verification.
Renesas Electronics said it was searching for a verification method that increases the functional verification performance of its MCU platforms. OneSpin 360 MV met its 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, the company said.
It also 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.
OneSpin noted that its 360 MV solution provides an SVA library (Operational ABV) for the operational modeling layer that aims to ease the capture of entire timing diagrams in a single assertion.
OneSpin's 360 MV highlights
. Automatically uncovers verification holes, finding the bugs that are missed by other tools
. Enables highest possible block/IP quality through Operational ABV and exhaustive coverage analysis
. Confirms 'no more verification holes' – user knows when verification is 'done'
. Guides and eases assertion development working from timing diagrams
. Wide range of formal ABV applications, adapting to project requirements and available expertise
. Seamless learning and adoption makes new users productive in days
To access OneSpin's 360 MV datasheet, click here.
Renesas Electronics said it was searching for a verification method that increases the functional verification performance of its MCU platforms. OneSpin 360 MV met its 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, the company said.
It also 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.
OneSpin noted that its 360 MV solution provides an SVA library (Operational ABV) for the operational modeling layer that aims to ease the capture of entire timing diagrams in a single assertion.
OneSpin's 360 MV highlights
. Automatically uncovers verification holes, finding the bugs that are missed by other tools
. Enables highest possible block/IP quality through Operational ABV and exhaustive coverage analysis
. Confirms 'no more verification holes' – user knows when verification is 'done'
. Guides and eases assertion development working from timing diagrams
. Wide range of formal ABV applications, adapting to project requirements and available expertise
. Seamless learning and adoption makes new users productive in days
To access OneSpin's 360 MV datasheet, click here.
|
|
|
|
|
Navigate to related information
