OneSpin Solutions Announces 360 MV-Based Formal Verification Environment Adopted By Renesas Electronics Microcontroller Platforms
MUNICH, Germany, TOKYO, Japan and SUNNYVALE, Calif. – May 16, 2011 – OneSpin Solutions, an EDA company that provides innovative formal assertion-based verification solutions, today 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 … Read More → "OneSpin Solutions Announces 360 MV-Based Formal Verification Environment Adopted By Renesas Electronics Microcontroller Platforms"

