Detail produktu
HADES - Hazard Detection System
Vznik: 2014
Název česky
HADES (Hazard Detection System)
Typ
software
Licence
vyžadována - zdarma
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)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Popis
Hades je verifikační nástroj aktuálně zaměřený na detekci RAW hazardů v mikroprocesorech s jednou zřetězenou linkou. Nástroj kombinuje několik verifikačních přístupů včetně statické analýzy možných hazardů a dynamické analýzy využívající parametrizované systémy. Nástroj očekává na vstupu popis procesoru ve formě grafu popisu procesoru ve formátu VAM.
Umístění
Licence
Volně šiřitelný software poskytovaný pod licencí GNU GPL v3.
Projekty
Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí (GA14-11384S)
Centrum excelence IT4Innovations (ED1.1.00/02.0070)
Spolehlivost a bezpečnost v IT (FIT-S-14-2486)
Verifikace a optimalizace počítačových systémů (FIT-S-12-1)
Centrum excelence IT4Innovations (ED1.1.00/02.0070)
Spolehlivost a bezpečnost v IT (FIT-S-14-2486)
Verifikace a optimalizace počítačových systémů (FIT-S-12-1)
Výzkumné skupiny
Pracoviště
Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)