Extending DRAM Model: Theory-Practice Nexus · Study