Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers

In modern multi-core systems with multiple real-time (RT) applications, memory traffic accessing the shared SDRAM is increasingly diverse, e.g., transactions have variable sizes. RT memory controllers with dynamic command scheduling can efficiently address the diversity by issuing appropriate comman...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) S. 1 - 12
Hauptverfasser:	Yonghui Li, Akesson, Benny, Lampka, Kai, Goossens, Kees
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.04.2016
Schlagworte:	Adaptation models Analytical models Clocks Dynamic scheduling Model checking SDRAM Timing
ISBN:	9781467386395, 1467386391
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!