Detail produktu

HADES - Hazard Detection System

Vznik: 2014

Název česky
HADES (Hazard Detection System)
Typ
software
Licence
vyžadována - zdarma
Autoři
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
Výzkumné skupiny
Pracoviště
Nahoru