Product detail

HADES (Hazard Detection System)

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

Product 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.

Keywords

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

Create date

1. 10. 2014

Location

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

Possibilities of use

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

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www