Sign in

Fast validation of DRAM protocols with timed petri nets.

Matthias JungKira KraftTaha SolimanChirag SudarshanChristian WeisNorbert Wehn
Published in: MEMSYS (2019)
Keyphrases
  • timed petri nets
  • discrete event systems
  • main memory
  • mathematical modeling
  • high density
  • discrete event
  • petri net
  • dynamical systems