Skip to Main content Skip to Navigation
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 : Saturday, June 25, 2022 - 3:26:48 AM

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, Springer Verlag, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩. ⟨hal-03702426⟩

Share

Metrics

Record views

0