Author of the publication

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

, , and . EUROCAST (1), volume 8111 of Lecture Notes in Computer Science, page 460-468. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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