HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems

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-afte...

Full description

Bibliographic Details
Published in:	Electronic Proceedings in Theoretical Computer Science
Main Authors:	Lukáš Charvát, Aleš Smrčka, Tomáš Vojnar
Format:	Article
Language:	English
Published:	Open Publishing Association 2016-12-01
Online Access:	http://arxiv.org/pdf/1612.04986v1

Similar Items

Tools for Functional Verification of Microprocessors
by: A. Kamkin, et al.
Published: (2018-10-01)

Hades
by: Maria Elayne da Silva Cipriano, et al.
Published: (2023-07-01)

HADES Overview
by: Spies Simon
Published: (2024-01-01)

Approaches to Stand-alone Verification of Multicore Microprocessor Caches
by: M. . Petrochenkov, et al.
Published: (2018-10-01)

New results on light nuclei, hyperons and hypernuclei from HADES (HADES collaboration)
by: Abou Yassine Rayane, et al.
Published: (2022-01-01)

The Eons of Chaos and Hades
by: C. Goldblatt, et al.
Published: (2010-02-01)

Test Program Generation for Microprocessors Based on Pipeline Hazards Templates
by: D. N. Vorobyev, et al.
Published: (2018-10-01)

CHECK IMPULSE: TRAVERSING HADES
by: Rareș MOLDOVAN
Published: (2018-12-01)

Janus and Hades in M-theory
by: Andrés Anabalón, et al.
Published: (2022-11-01)

Dielectron measurements with the HADES at GSI
by: Otto Jan-Hendrik
Published: (2022-01-01)

Towards Hazard Analysis Result Verification for Autonomous Ships: A Formal Verification Method Based on Timed Automata
by: Xiang-Yu Zhou, et al.
Published: (2025-05-01)

Microprocessors
Published: (1979-07-01)

The underworld episode in Ulysses: Hades as cemetery
by: Thomas Laborie Burns
Published: (1984-01-01)

Proton-cluster femtoscopy with the HADES experiment
by: Stefaniak Maria
Published: (2024-01-01)

Two-particle femtoscopy at the HADES experiment
by: Grunwald Mateusz
Published: (2024-01-01)

Developing a Microprocessor System
Published: (1977-05-01)

Microprocessor-Based Protection Systems
by: Alan Reeve
Published: (1992-04-01)

Kaon flow in Au+Au collisions at 1.23AGeV measured with HADES
by: Chlad Lukáš
Published: (2022-01-01)

Analysis of Setups of the Control of Rail Microprocessor Systems
by: Mieczyslaw Kornaszewski, et al.
Published: (2008-01-01)

The FAIR Phase-0 Hyperon Program at HADES
by: Rieger Jana
Published: (2024-01-01)

Strife Versus Stasis: The Paradox of Achilles in Hades
by: Fatima Yahyapoor
Published: (2023-12-01)

IMPROVEMENT OF MICROPROCESSOR COMPLEX SCHEME USING MICROPROCESSOR HARDWARE COMPLEX
by: K. I. Yashchuk, et al.
Published: (2019-12-01)

HEALTH ECONOMIC EVALUATION OF MICROPROCESSOR AND NON-MICROPROCESSOR CONTROLLED PROSTHETIC KNEES
by: Charlotte E. Bosman, et al.
Published: (2025-10-01)

APPLICATION OF MICROPROCESSOR SYSTEMS IN AUTOMOTIVE INDUSTRY
by: V. G. Mikhailov
Published: (2018-02-01)

Reliability of Microprocessor Based Protection Systems
by: Andrew Churchley
Published: (1994-12-01)

Towards formal verification of cyber security standards
by: Tomas Kulik, et al.
Published: (2018-10-01)

HADES: Automated Hardware Design Exploration for Cryptographic Primitives
by: Fabian Buschkowski, et al.
Published: (2025-09-01)

Hyperon production and interaction studies in protonproton scattering with HADES
by: Taylor Jenny
Published: (2024-01-01)

The efforts of Salman Hade To hme in documenting of Karbala Heritage
by: Iman Salih Mahdi
Published: (2020-12-01)

Studies of Time-like Electromagnetic Structure of Baryons with HADES
by: Ciepał Izabela
Published: (2024-01-01)

Tänk om Jesus hade varit min syster
by: Erica Appelros
Published: (2013-05-01)

”Mer handledning och feedback hade varit bra”
by: Åsa Mickwitz
Published: (2017-09-01)

Resonance production and decay in pion induced collisions with HADES
by: Scozzi Federico
Published: (2017-01-01)

A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems
by: Imene Ben Hafaiedh, et al.
Published: (2020-01-01)

Partial Wave Amplitude Analysis in Pion-Induced Reactions at the HADES Experiment
by: Foda Ahmed Marwan
Published: (2024-01-01)

The Problems of Using Microprocessors
by: J. W. Carter
Published: (1978-02-01)

The microprocessor of starshaped structure
by: Sinegub N. I.
Published: (2009-04-01)

Parameterization of Direct and Doorway Processes in R-Matrix Formalism
by: Arbanas Goran, et al.
Published: (2023-01-01)

The femtoscopy analysis of the p - Λ system obtained in heavy-ion collisions within the HADES experiment
by: Rathod Narendra
Published: (2024-01-01)

RVTDS:A Trace Debugging System for Microprocessor
by: GAO Xuan, HE Gangxing, CHE Wenbo, HU Xiao
Published: (2023-12-01)