software

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.

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

1. 10. 2014

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

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

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

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