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
Pseudo-differential processing ADC in the PSOC™ Control C3 MCU reduces time, complexity and system BOM cost
Pseudo-differential processing ADC in the PSOC™ Control C3 MCU reduces time, complexity and system BOM cost
- By EBV Elektronik
Consistent and reliable sensing of the control parameters is the backbone of a robust control system design. In most real-world scenarios, the measured signal is…
Forward or Flyback? Which is Better? Both!
Forward or Flyback? Which is Better? Both!
- By Coilcraft
Beatles or Stones? Michael or LeBron? Deep dish or thin crust? Forward or flyback?…
Electrical Performance Indicators for Coaxial Connectors
Electrical Performance Indicators for Coaxial Connectors
- By Wuerth Elektronik eiSos
RF connectors play a key role in the transmission of radio-frequency signals and offer minimum signal loss with maximum reliability. Thanks to their special coaxial…
DAQ systems: The font of all knowledge PC-based DAQ systems simplify industrial data collection
DAQ systems: The font of all knowledge PC-based DAQ systems simplify industrial data collection
- By Advantech
Data Acquisition (DAQ) collects, measures, and analyzes data from physical phenomena or electrical signals using hardware and software systems. DAQ systems are commonly used in…
Virtual Prototyping Framework for Pixel Detector Electronics in High Energy Physics
Virtual Prototyping Framework for Pixel Detector Electronics in High Energy Physics
Researchers at CERN and KU Leuven have developed a virtual prototyping framework for pixel detectors based on C++/SystemC in the winning paper at the DVcon…
ROBOTIC ARMS REACH FOR A NEW HORIZON
ROBOTIC ARMS REACH FOR A NEW HORIZON
- By Advantech
RISE OF THE ROBOTS It is no surprise that most forecasters are estimating a period of fast growth for robot arm uptake over the coming…
onsemi EliteSiC 650 V SiC MOSFET M3S Series with Superior Switching Performance
onsemi EliteSiC 650 V SiC MOSFET M3S Series with Superior Switching Performance
- By onsemi
This paper explores onsemi’s advanced 650 V SiC MOSFET technology, branded also M3S, which is tailored for high-speed switching applications in lower-battery voltage applications. It…
High Performance, Precision Analog Capability Enabled by the Treo Platform
High Performance, Precision Analog Capability Enabled by the Treo Platform
- By onsemi
This paper focuses on the analog capabilities which are part of the onsemi Treo platform.The PPA triangle concept is being introduced to compare analog key…
View all White Papers
10s