Work

Early Result Capture: Racing Conditions in Pipeline due to Clock Glitches

Year: 2025

Type: conference-paper

Abstract: International audience

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Boulifa, Roua, Maistri, Paolo, Di Natale, Giorgio

Institution: Techniques of Informatics and Microelectronics for Integrated Systems Architecture

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Agence Nationale de la Recherche

Awards: G1190173965, ARchitectures SEcurisées pour le Numérique Embarqué

OpenAlex ID: W6990711776

FWCI:

Cites:

Cited by:

Related to: