HADES (Hazard Detection System)

Authors:Charvát Lukáš, Smrčka Aleš, Vojnar Tomáš
Type:software
Created:2014
Licence:required - no fee
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:
http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/
Research groups:
Departments:
Licence terms:
Free software under the terms of the GNU GPL v3 license.

Your IPv4 address: 54.81.45.122
Switch to IPv6 connection

DNSSEC [dnssec]