Skip to Main content Skip to Navigation
New interface
Journal articles

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

Complete list of metadata

https://hal.telecom-paris.fr/hal-03702426
Contributor : Florian Brandner Connect in order to contact the contributor
Submitted on : Thursday, June 23, 2022 - 10:02:51 AM
Last modification on : Friday, August 5, 2022 - 3:44:51 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

16