MSimDRAM: Formal Model Driven Development of a DRAM Simulator

Debiprasanna Sahoo, Manoranjan Satpathy. MSimDRAM: Formal Model Driven Development of a DRAM Simulator. In 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, VLSID 2016, Kolkata, India, January 4-8, 2016. pages 597-598, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.