MENU

Discovering Deadlocks in Memory Controller IP

Discovering Deadlocks in Memory Controller IP

By U-Blox Oski

Download White Paper

Formal deadlock verification is an effective and pragmatic method for discovering deadlocks in complex SoC IP blocks. For the MC design, the authors used Level 4 formal techniques to find deadlock bugs that were undetected through many millions of cycles of dynamic testing.

Disclaimer: by clicking on this button, you accept that your data might be communicated to this company. If you do not want us to communicate your data, please update your details on your profile

Download White Paper
If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :    eeNews on Google News
Share:
White Papers
Key Parameters for Selecting RF Inductors
Key Parameters for Selecting RF Inductors
- By Coilcraft
Understanding RF Inductor Specifications RF inductor selection involves these key parameters: mounting (surface mount or through-hole), inductance value, current rating, DC resistance (DCR), self-resonant frequency…
2G Switch-off and Legacy Device Migration
2G Switch-off and Legacy Device Migration
- By Advantech
2G Switch-off and Legacy Device Migration As cellular technology advances towards mass 5G adoption, service providers are constantly looking for…
Optimise products & accelerate development with custom Design & Manufacturing Services
Optimise products & accelerate development with custom Design & Manufacturing Services
- By Advantech
Are you looking for the most suitable system solution for your application? Want to develop it all from scratch or want to save time, money…
Explore the latest MedTech trends, engineer challenges, and top connectivity solutions in our new eBook.
Explore the latest MedTech trends, engineer challenges, and top connectivity solutions in our new eBook.
- By Avnet Abacus
The healthcare industry is set to face a unique combination of challenges over the coming decades. The global population continues to grow while the average…
Choosing Inductors for Energy Efficient Power Applications
Choosing Inductors for Energy Efficient Power Applications
- By Coilcraft
In high frequency DC-DC converters for battery-powered applications, improving power supply efficiency is critical and can mean the difference between a device working when it…
AI and CV Power Up the EV Charging Station Boom
AI and CV Power Up the EV Charging Station Boom
- By Seco
The electric vehicle market is growing rapidly, and with it the need for more charging stations. Though it may be hard…
New drive solutions for modern BEVs
New drive solutions for modern BEVs
- By Infineon Technologies AG
Most battery electric vehicles currently in use have primary and/or auxiliary e-axles that integrate the e-motor, transmission, and inverter. However, this results in lower efficiency…
Auxiliary supply for SiC/GaN gate driver systems
Auxiliary supply for SiC/GaN gate driver systems
- By Wuerth Elektronik eiSos
Wide bandgap power semiconductor devices like Silicon Carbide (SiC) MOSFETs are enjoying growing popularity in many modern power electronic applications like E-mobility and renewable energy.
View all White Papers
10s