Jul 02, 2013: Julien Hémono: Learning memory models

July 02, 2013Learning memory models
Room: Zi 5126Julien Hémono

To satisfy performance and energy-efficiency requirements, processors exhibit fine-tunable, loose memory behaviour. Manufacturers however disregard verification tools' need of formal, sound and complete models. My master thesis builds on an existing empirical method and attempts to automatize testing-based modelling of such highly non-deterministic memory systems, hopefully to the point where it can be called learning.