Case Study: Renesas Solves High-Level Verification Challenges Using Formal Equivalence Checking
March 3, 2020
Why they determined this is a must-have application, and how it improved their verification quality and efficiency.
Sponsored by Mentor, a Siemens Business
A team at Renesas Electronics Corporation found that they were significantly reducing the time advantages of their High-Level Synthesis flow due to bugs in their SystemC code and equivalence problems due to design changes. It was taking too much time to find and debug these issues and some bugs were slipping into the generated RTL. Read how they were able to solve these challenges and improve their verification quality and efficiency by reading this white paper.
Edge AI is booming, and STMicroelectronics is leading the way with the STM32N6 series—powerful, energy-efficient MCUs with built-in NPUs, AI-ready software tools, and robust security...
We take a look at a Discovery kit with an STM32N657X0 MCU from STMicroelectronics. It highlights the performance, efficiency, and versatility of the MCU in edge AI applications...
STM32MP25 application processors offer dual Cortex-A35 cores, a neural processing unit (NPU) with 1.35 TOPS, and full HD video support. They provide edge AI acceleration, advanced...
Discover the benefits of ARM Cortex-M85 based MCUs with Helium and TrustZone features that bring higher performance and robust security to motor control applications.
