OneSpin Solutions Announces 360 MV-Based Formal Verification Environment Adopted by Renesas Electronics Microcontroller Platforms
New Environment Enables 50x Speedup in MCU Performance Testing Time Compared to Simulation-Based Verification
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 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, General Manager, System Core Development Division of Renesas Electronics Corporation, "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.”
About OneSpin Solutions
Electronic Design Automation (EDA) company OneSpin Solutions delivers award-winning, highest-capacity formal verification solutions that ease and speed the functional verification of complex ASIC and FPGA designs. OneSpin’s 360 MV solutions enable unprecedented verification coverage and productivity through patented formal coverage analysis. For further information please visit http://www.onespin-solutions.com/ or email info@onespin-solutions.com.
|
Related News
- OneSpin Solutions Enhances 360 MV for Safe, Exhaustive 4-State X-Analysis and X-Verification
- OneSpin Solutions Enters EDA Market with Breakthrough Formal Verification Solution; OneSpin 360 Module Verifier First to Enable True Functional Sign-off and Risk-Free IP Reuse
- Aptix Unveils Sophisticated ASIC Verification and Pre-Silicon Prototyping Environment Supporting NEC Electronics' 32-Bit Embedded Microcontroller Core
- Codasip adopts Siemens' OneSpin tools for formal verification
- Renesas Electronics Unveils RA Family of 32-Bit Arm Cortex-M Microcontrollers with Superior Performance and Advanced Security for Intelligent IoT Applications
Breaking News
- JEDEC Publishes LPDDR5 CAMM2 Connector Performance Standard
- Alphawave Semi Selected for AI Innovation Research Grant from UK Government's Advanced Research + Invention Agency
- Weebit Nano continuing to make progress with potential customers and qualifying its technology Moving closer to finalisation of licensing agreements Q1 FY25 Quarterly Activities Report
- PiMCHIP Deploys Ceva Sensor Hub DSP in New Edge AI SoC
- Secure-IC obtains the first worldwide CAVP Certification of Post-Quantum Cryptography algorithms, tested by SERMA Safety & Security
Most Popular
- DENSO and U.S. Startup Quadric Sign Development License Agreement for AI Semiconductor (NPU)
- Xiphera and Crypto Quantique Announce Partnership for Quantum-Resilient Hardware Trust Engines
- Arm's power play will backfire
- Alchip Announces Successful 2nm Test Chip Tapeout
- Faraday Unveils HiSpeedKit™-HS Platform for High-speed Interface IP Verification in SoCs
E-mail This Article | Printer-Friendly Page |