Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture - Télécom Paris Access content directly
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2022
No file

Dates and versions

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

Identifiers

Cite

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⟩
47 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More