@phdthesis{Biermann2023,
  type      = {Bachelor Thesis},
  author    = {Biermann, Raphael},
  title     = {Entwicklung eines Software-Systems zur Automatisierung der Assertion-Generation f{\"u}r die Verifikation eines Memory-Built-In-Self-Tests mithilfe einer Beschreibungssprache f{\"u}r Memory-Testalgorithmen},
  doi       = {10.26205/opus-3394},
  url       = {https://nbn-resolving.org/urn:nbn:de:hbz:dm13-33948},
  pages     = {76},
  year      = {2023},
  abstract  = {Memory-Testalgorithmen k{\"o}nnen in einer abstrakten Beschreibungssprache beschrieben werden, dessen Grammatik jedoch nicht ausreicht, um Scrambling im Memory zu be- r{\"u}cksichtigen. Nach einer Grammatikerweiterung k{\"o}nnen Properties in der Hardware- Verifikationssprache SystemVerilog-Assertions aus dieser Beschreibung formuliert werden, die f{\"u}r eine Verifikation des Verhaltens des Memory-Interfaces eines Memory-Built-In- Self-Tests geeignet sind. Die Properties werden verwendet, um ein gegebenes Design zu verifizieren. In der Simulation werden Abweichungen von der urspr{\"u}nglichen Spezifikation der Testalgorithmen erkannt. Es werden Konzepte f{\"u}r die Automatisierung der Generierung von Properties erarbeitet, die anschließend in einem Software-System implementiert werden. Das Software-System unterst{\"u}tzt die Generierung von Assertions f{\"u}r March, SCAN und MATS Algorithmen mit beliebiger L{\"a}nge, sowie einige Checkerboard und Initialisierungsalgorithmen, bei de- nen Scrambling ber{\"u}cksichtigt werden muss. Abschließend werden n{\"o}tige {\"A}nderungen der Softwarearchitektur und Grammatik diskutiert, welche die Unterst{\"u}tzung weiterer Test- algorithmen erm{\"o}glichen.},
  language  = {de}
}