Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F16%3APU122432" target="_blank" >RIV/00216305:26230/16:PU122432 - isvavai.cz</a>
Result on the web
<a href="http://eptcs.web.cse.unsw.edu.au/paper.cgi?MEMICS2016.9" target="_blank" >http://eptcs.web.cse.unsw.edu.au/paper.cgi?MEMICS2016.9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4204/EPTCS.233.9" target="_blank" >10.4204/EPTCS.233.9</a>

Result language
angličtina
Original language name
Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems
Original language description
Hades is a fully automated verification tool for pipeline-based microprocessors that aims at flaws caused by improperly handled data hazards. It focuses on single-pipeline microprocessors designed at the register transfer level (RTL) and deals with read-after-write, write-after-write, and write-after-read hazards. Hades combines several techniques, including data-flow analysis, error pattern matching, SMT solving, and abstract regular model checking. It has been successfully tested on several microprocessors for embedded applications.
Czech name
—
Czech description
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)
ISBN
978-80-210-8362-2
ISSN
2075-2180
e-ISSN
—
Number of pages
7
Pages from-to
87-93
Publisher name
Faculty of Informatics MU
Place of publication
Brno
Event location
Telč
Event date
Oct 21, 2016
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
000390333200010

Similar results(10)