Detail publikace

Utilizing parametric systems for detection of pipeline hazards

CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Utilizing parametric systems for detection of pipeline hazards. International Journal on Software Tools for Technology Transfer, roč. 2020, č. 1, 2022, s. 1-28. ISSN 1433-2779. Dostupné z: https://link.springer.com/content/pdf/10.1007/s10009-020-00591-y.pdf
Název česky
Využití parametrických systémů pro detekci datových a řídicích hazardů
Typ
článek v časopise
Jazyk
angličtina
Autoři
Charvát Lukáš, Ing. (UITS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Klíčová slova

Mikroprocesor, datový hazard, řídicí hazard, formální metody, parametrické systémy

Abstrakt

Aktuální důraz na rychlost vývojového cyklu mikroprocesorů využívající linku zřetězení vede k vysokým požadavkům na automatizované techniky návrhu a jeho verifikaci. V tomto článku uvádíme automatizovaný přístup, který kombinuje statickou analýzu datových cest, řešiče SMT a formální verifikaci parametrických systémů za účelem odhalení chyb způsobených nevhodným zpracováním datových a řídicích hazardů mezi dvěmi instrukcemi v lince zřetězení. Konkrétně se zaměřujeme na procesory s jednoduchou linkou zřetězení, které zpracovávají instrukce ve vstupním pořadí. Článek sjednocuje a lépe formalizuje předchozí práci na RAW, WAR a WAW hazardech a rozšiřuje je o možnost zpracování řídicích hazardů na daných typech procesoru. Navržený přístup byl implementován v nástroji Hades a jsou prezentovány slibné výsledky získané užitím daného nástroje na mikroprocesorech s více linkami zřetězení.

Rok
2022
Strany
1-28
Časopis
International Journal on Software Tools for Technology Transfer, roč. 2020, č. 1, ISSN 1433-2779
Kniha
International Journal on Software Tools for Technology Transfer
Vydavatel
Springer Verlag
DOI
10.1007/s10009-020-00591-y
UT WoS
000574070100001
EID Scopus
2-s2.0-85091726965
BibTeX 
@ARTICLE{FITPUB12367,
   author = "Luk\'{a}\v{s} Charv\'{a}t and Ale\v{s} Smr\v{c}ka and Tom\'{a}\v{s} Vojnar",
   title = "Utilizing parametric systems for detection of pipeline hazards",
   pages = "1--28",
   booktitle = "International Journal on Software Tools for Technology Transfer",
   journal = "International Journal on Software Tools for Technology Transfer",
   volume = 2020,
   number = 1,
   year = 2022,
   ISSN = "1433-2779",
   doi = "10.1007/s10009-020-00591-y",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12367"
}
Nahoru