Autor der Publikation

An Abstraction of Multi-port Memories with Arbitrary Addressable Units.

, , und . EUROCAST (1), Volume 8111 von Lecture Notes in Computer Science, Seite 460-468. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems., , und . EUROCAST, Volume 9520 von Lecture Notes in Computer Science, Seite 605-614. Springer, (2015)Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors., , und . MTV, Seite 83-89. IEEE Computer Society, (2014)An Abstraction of Multi-port Memories with Arbitrary Addressable Units., , und . EUROCAST (1), Volume 8111 von Lecture Notes in Computer Science, Seite 460-468. Springer, (2013)Utilizing parametric systems for detection of pipeline hazards., , und . Int. J. Softw. Tools Technol. Transf., 24 (1): 1-28 (2022)HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems., , und . MEMICS, Volume 233 von EPTCS, Seite 87-93. (2016)Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description., , und . MTV, Seite 6-12. IEEE Computer Society, (2012)