Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture - Télécom Paris
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2022

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture

Domaines

Architectures Matérielles [cs.AR] Systèmes embarqués Performance et fiabilité [cs.PF]

Florian Brandner  : Connectez-vous pour contacter le contributeur

https://telecom-paris.hal.science/hal-03702426

Soumis le : jeudi 23 juin 2022-10:02:51

Dernière modification le : mercredi 23 octobre 2024-10:30:04

Fichier non déposé

Dates et versions

hal-03702426 , version 1 (23-06-2022)

Identifiants

Citer

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan. Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. International Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩. ⟨hal-03702426⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA PARISTECH DRT LIST LTCI INFRES ACES IP_PARIS GS-ENGINEERING GS-COMPUTER-SCIENCE GS-SPORT-HUMAN-MOVEMENT DSCIN INSTITUT-MINES-TELECOM
78 Consultations
0 Téléchargements

Altmetric

Partager

More