Faculty of Information Technology, BUT

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.
Back to top