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

Full description

Bibliographic Details

Published in:	2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) pp. 1 - 12
Main Authors:	Yonghui Li, Akesson, Benny, Lampka, Kai, Goossens, Kees
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.04.2016
Subjects:	Adaptation models Analytical models Clocks Dynamic scheduling Model checking SDRAM Timing
ISBN:	9781467386395, 1467386391
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!