Mentorpaper 106025 Renesas

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.        

Sponsored

Top 10 Design for Manufacturing Mistakes Every PCB Manufacturer Hates

Ever wonder what kind of Design for Manufacturing (DFM) mistakes you can make that will drive your PCB manufacturer absolutely crazy? Learn about the top 10 DFM mistakes now, ...

What is Electrical Impedance?

Having trouble understanding electrical impedance? Dont worry; youre not alone. Lets get practical.

Next Generation RADAR

Aerospace and Defense applications conform to the tightest standards. ADI provides you with the confidence and support to ensure your design is a success.

Designing Accurate Gas Monitoring Systems with Chemiresistive Devices

Chemiresistive sensors provide a low-cost means of measuring concentrations of a wide range of gases in applications such as industrial control, HVAC systems, and health and safety...