DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets

Derek Christ, Thomas Zimmermann, Philippe Barbie +3

The JEDEC committee defines various domain-specific DRAM standards. These standards feature increasingly complex and evolving protocol specifications, which are detailed in timing…