MSimDRAM: Formal Model Driven Development of a DRAM Simulator.

Debiprasanna Sahoo, Manoranjan Satpathy

Browse the full VLSID paper archive.