@unpublished{Fertig2021,
  author  = {Matthias Fertig},
  title   = {Universal Memory Automaton and Automated Verilog HDL Code Generation for a Cache Coherency Snooping Protocol},
  institution = {Fakult{\"a}t Elektrotechnik und Informationstechnik},
  year    = {2021},
}