Product Details
HADES - Hazard Detection System
Created: 2014
Czech title
HADES (Hazard Detection System)
Type
software
License
required - free
Authors
Charvát Lukáš, Ing. (DITS FIT BUT)
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
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
Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures (GA14-11384S)
Reliability and Security in IT (FIT-S-14-2486)
The IT4Innovations Centre of Excellence (ED1.1.00/02.0070)
Verification and Optimization of Computer Systems (FIT-S-12-1)
Reliability and Security in IT (FIT-S-14-2486)
The IT4Innovations Centre of Excellence (ED1.1.00/02.0070)
Verification and Optimization of Computer Systems (FIT-S-12-1)
Research groups
Departments
Department of Intelligent Systems FIT BUT (DITS FIT BUT)