Detail publikace

Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems

CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016). Electronic Proceedings in Theoretical Computer Science, EPTCS. Electronic Proceedings in Theoretical Computer Science. Brno: Faculty of Informatics MU, 2016. p. 87-93. ISBN: 978-80-210-8362-2. ISSN: 2075-2180.
Název česky
Hades: analýza hazardů v mikroprocesorech s využitím formální verifikace parametrických systémů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Charvát Lukáš, Ing., Ph.D.
Smrčka Aleš, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

automated tool, formal verification, pipeline-based microprocessors, data hazards

Abstrakt

Hades je nástroj pro automatickou verifikaci mikroprocesorů s linkou zřetězení, který se zaměřuje na odhalování různých hazardů v takových procesorech. Hades kombinuje různé techniky analýzy a verifikace, jako jsou analýza toku dat, vyhledávání chybových vzorů, řešení SMT problémů či abstraktní regulární model checking.

Rok
2016
Strany
87–93
Časopis
Electronic Proceedings in Theoretical Computer Science, EPTCS, roč. 2016, č. 233, ISSN 2075-2180
Sborník
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)
Řada
Electronic Proceedings in Theoretical Computer Science
Konference
MEMICS'16 Doctoral Workshop on Mathematical and Engineering Methods in Computer Science , Telč, CZ
ISBN
978-80-210-8362-2
Vydavatel
Faculty of Informatics MU
Místo
Brno
DOI
10.4204/EPTCS.233.9
UT WoS
000390333200010
EID Scopus
2-s2.0-85018638270
BibTeX 
@inproceedings{BUT132606,
  author="Lukáš {Charvát} and Aleš {Smrčka} and Tomáš {Vojnar}",
  title="Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems",
  booktitle="Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)",
  year="2016",
  series="Electronic Proceedings in Theoretical Computer Science",
  journal="Electronic Proceedings in Theoretical Computer Science, EPTCS",
  volume="2016",
  number="233",
  pages="87--93",
  publisher="Faculty of Informatics MU",
  address="Brno",
  doi="10.4204/EPTCS.233.9",
  isbn="978-80-210-8362-2",
  issn="2075-2180",
  url="http://eptcs.web.cse.unsw.edu.au/paper.cgi?MEMICS2016.9"
}
Nahoru