Detail publikace

Utilizing parametric systems for detection of pipeline hazards

CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Utilizing parametric systems for detection of pipeline hazards. International Journal on Software Tools for Technology Transfer, 2022, vol. 2020, no. 1, p. 1-28. ISSN: 1433-2779.
Název česky
Využití parametrických systémů pro detekci datových a řídicích hazardů
Typ
článek v časopise
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

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
DOI
10.1007/s10009-020-00591-y
UT WoS
000574070100001
EID Scopus
2-s2.0-85091726965
BibTeX 
@article{BUT168177,
  author="Lukáš {Charvát} and Aleš {Smrčka} and Tomáš {Vojnar}",
  title="Utilizing parametric systems for detection of pipeline hazards",
  journal="International Journal on Software Tools for Technology Transfer",
  year="2022",
  volume="2020",
  number="1",
  pages="1--28",
  doi="10.1007/s10009-020-00591-y",
  issn="1433-2779",
  url="https://link.springer.com/content/pdf/10.1007/s10009-020-00591-y.pdf"
}
Nahoru