Mihail Asavoae
IdRefMots clés
FR |
EN
Anomalies temporelles
Temps réel (informatique)
Méthodes formelles (informatique)
Systèmes temps-réel
Vérification formelle
Vérification de modèles
Pipeline out-of-order
TriCore
Analyse temporelle
Architecture des ordinateurs
Microprocesseurs
Vérification de modèles (informatique)
Modélisation des processeurs
Langages de Construction de Matériel (HCLs)
Chemin de données du pipeline
Vérification de modèle
Langages de description de matériel informatique
Langages de programmation -- Sémantique
Analyse Pire Cas
Systèmes informatiques -- Mesures de sûreté