HADES (Hazard Detection System)

HADES (Hazard Detection System)

software

In order to use the result by another entity, it is always necessary to acquire a license

The licensor does not require a license fee for the result

Charvát Lukáš, Ing., Ph.D.
Smrčka Aleš, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)

Microprocessor verification, hazard, RAW, WAW, control hazard, static analysis, formal verification

Hades is a verification tool, currently aimed at detection of RAW hazards in single pipelined microprocessors. It combines several approaches including data-flow analysis of possible hazards, and dynamic analysis using parameterized systems. As its input, the tool expects a processor described in the form of processor structure graph PSG using VAM file format.

http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/

Free software under the terms of the GNU GPL v3 license.

Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, Standardní projekty, GA14-11384S, 2014-2016, completed
Spolehlivost a bezpečnost v IT, BUT, Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, completed
The IT4Innovations Centre of Excellence, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, completed
Verifikace a optimalizace počítačových systémů, BUT, Vnitřní projekty VUT, FIT-S-12-1, 2012-2014, completed

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Department of Intelligent Systems (DITS)