Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture - Archive ouverte HAL Access content directly
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2022

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

(1) , (2) , (3, 4, 5) , (2) , (1)
1
2
3
4
5
Not 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⟩
16 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More