Applied result detail

HADES - Hazard Detection System

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

Original Title

HADES - Hazard Detection System

English Title

HADES - Hazard Detection System

Type

Software

Abstract

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.

Abstract in English

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.

Keywords

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

Key words in English

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

Location

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

Licence fee

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

www

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