Ing. Lukáš Charvát

CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. 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). Brno: Fakulta informatiky MU, 2016, s. 87-93. ISBN 978-80-210-8362-2. ISSN 2075-2180. Dostupné z: http://eptcs.web.cse.unsw.edu.au/paper.cgi?MEMICS2016.9
Jazyk publikace:angličtina
Název publikace:Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems
Název (cs):Hades: analýza hazardů v mikroprocesorech s využitím formální verifikace parametrických systémů
Strany:87-93
Sborník:Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)
Konference:MEMICS'16 - 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Řada knih:Electronic Proceedings in Theoretical Computer Science
Místo vydání:Brno, CZ
Rok:2016
URL:http://eptcs.web.cse.unsw.edu.au/paper.cgi?MEMICS2016.9
ISBN:978-80-210-8362-2
Časopis:Electronic Proceedings in Theoretical Computer Science, roč. 2016, č. 233, Sydney, AU
ISSN:2075-2180
DOI:10.4204/EPTCS.233.9
Vydavatel:Fakulta informatiky MU
Klíčová slova
automated tool, formal verification, pipeline-based microprocessors, data hazards
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   author = {Luk{\'{a}}{\v{s}} Charv{\'{a}}t and Ale{\v{s}}
	Smr{\v{c}}ka and Tom{\'{a}}{\v{s}} Vojnar},
   title = {Hades: Microprocessor Hazard Analysis via Formal
	Verification of Parameterized Systems},
   pages = {87--93},
   booktitle = {Proceedings 11th Doctoral Workshop on Mathematical and
	Engineering Methods in Computer Science (MEMICS 2016)},
   series = {Electronic Proceedings in Theoretical Computer Science},
   journal = {Electronic Proceedings in Theoretical Computer Science},
   volume = {2016},
   number = {233},
   year = {2016},
   location = {Brno, CZ},
   publisher = {Faculty of Informatics MU},
   ISBN = {978-80-210-8362-2},
   ISSN = {2075-2180},
   doi = {10.4204/EPTCS.233.9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11312}
}

Vaše IPv4 adresa: 18.234.111.56
Přepnout na https