Fast validation of DRAM protocols with timed petri nets.

Matthias Jung Kira Kraft Taha Soliman Chirag Sudarshan Christian Weis Norbert Wehn

Published in: MEMSYS (2019)

Keyphrases

timed petri nets
discrete event systems
main memory
mathematical modeling
high density
discrete event
petri net
dynamical systems