Product Details

HADES - Hazard Detection System

Created: 2014

Czech title
HADES (Hazard Detection System)
Type
software
License
required - free
Authors
Keywords

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

Description

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.

Location
Licence

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

Projects
Research groups
Departments
Back to top