Reference Model and Verification Environment Design for DDR Sdram Memories - Güereña Morán, Alejandro (2011)