Detail publikace

Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems

CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems. In: Computer Aided Systems Theory - EUROCAST 2015. Lecture Notes in Computer Science, roč. 9520. Zurich: Springer International Publishing, 2015, s. 605-614. ISBN 978-3-319-27340-2. ISSN 0302-9743. Dostupné z: http://link.springer.com/content/pdf/10.1007%2F978-3-319-27340-2_75.pdf
Název česky
Analýza hazardů v mikroprocesorech pomocí formální analýzy parametrizovaných systémů
Typ
článek ve sborníku konference
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
Abstrakt

Současný tlak na rapidní vývojový cyklus mikroprocesorů zahrnující linku zřetězení vede k vysokým požadavkům na použití automatizovaných technik při návrhu i při verikaci. V článku je prezetována automatizovaná technika využívající statickou analýzu datových cest a formální verifikaci parametrizovaných systémů za účelem odhalení chyb způsobených nevhodným řešením datových hazardů. Zvláštně se jako doplněk k read-after-write hazardům článek zaměruje na write-after-write a write-after-read hazardy v mikroprocesorech s jednou linkou zřetězení.

Rok
2015
Strany
605-614
Časopis
Lecture Notes in Computer Science, roč. 9520, č. 1, ISSN 0302-9743
Sborník
Computer Aided Systems Theory - EUROCAST 2015
Řada
Lecture Notes in Computer Science
Konference
Fifteenth International Conference on Computer Aided Systems Theory , Las Palmas de Gran Canaria, ES
ISBN
978-3-319-27340-2
Vydavatel
Springer International Publishing
Místo
Zurich, CH
DOI
10.1007/978-3-319-27340-2_75
UT WoS
000376687100075
EID Scopus
2-s2.0-84952306064
BibTeX 
@INPROCEEDINGS{FITPUB11064,
   author = "Luk\'{a}\v{s} Charv\'{a}t and Ale\v{s} Smr\v{c}ka and Tom\'{a}\v{s} Vojnar",
   title = "Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems",
   pages = "605--614",
   booktitle = "Computer Aided Systems Theory - EUROCAST 2015",
   series = "Lecture Notes in Computer Science",
   journal = "Lecture Notes in Computer Science",
   volume = 9520,
   number = 1,
   year = 2015,
   location = "Zurich, CH",
   publisher = "Springer International Publishing",
   ISBN = "978-3-319-27340-2",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-319-27340-2\_75",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11064"
}
Nahoru