"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."@en . "Smr\u010Dka, Ale\u0161" . . "HADES (Hazard Detection System)"@en . . . "P(ED1.1.00/02.0070), P(GA14-11384S), S" . . "Voln\u011B \u0161i\u0159iteln\u00FD software poskytovan\u00FD pod licenc\u00ED GNU GPL (http://www.gnu.org/licenses/gpl.html) v3." . "Charv\u00E1t, Luk\u00E1\u0161" . "3"^^ . . "Voln\u011B \u0161i\u0159iteln\u00FD software poskytovan\u00FD pod licenc\u00ED GNU GPL (http://www.gnu.org/licenses/gpl.html) v3." . . . . "3"^^ . . . . . "Vojnar, Tom\u00E1\u0161" . . . "RIV/00216305:26230/14:PR28010" . . . "http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/" . "Microprocessor verification, hazard, RAW, WAW, control hazard, static analysis, formal verification"@en . "HADES (Hazard Detection System)" . "18713" . . . . . "RIV/00216305:26230/14:PR28010!RIV15-MSM-26230___" . "HADES" . . . "HADES (Hazard Detection System)" . . "[A782987528D3]" . "26230" . "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." . "HADES (Hazard Detection System)"@en . . .