Detail aplikovaného výsledku

HADES - Hazard Detection System

CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.

Originální název

HADES - Hazard Detection System

Anglický název

HADES - Hazard Detection System

Druh

Software

Abstrakt

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.

Abstrakt aglicky

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.

Klíčová slova

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

Klíčová slova anglicky

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

Umístění

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

Licenční poplatek

K využití výsledku jiným subjektem je vždy nutné nabytí licence

www

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