Login / Signup
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture.
Benjamin Binder
Mihail Asavoae
Florian Brandner
Belgacem Ben Hedia
Mathieu Jan
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
instruction set
colored petri nets
formal methods
asynchronous circuits
formal model
management system
anomaly detection
face verification
formal models
root cause
dynamic aspects
petri net
data sets
formal analysis
architectural design
expert systems
web services
layered architecture
information systems