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...

Celý popis

Podrobná bibliografie

Vydáno v:	2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) s. 1 - 12
Hlavní autoři:	Yonghui Li, Akesson, Benny, Lampka, Kai, Goossens, Kees
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.04.2016
Témata:	Adaptation models Analytical models Clocks Dynamic scheduling Model checking SDRAM Timing
ISBN:	9781467386395, 1467386391
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!