Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers - Yonghui Li; Akesson, Benny; Lampka, Kai; Goossens, Kees (2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016)
Keywords: Adaptation models; Analytical models; Clocks; Dynamic scheduling; Model checking; SDRAM; Timing