Kim Grüttner
Mots clés
FR |
EN
Systèmes sur Puce (SoCs)
Vérification Basée sur Assertions (ABV)
Modélisation au Niveau Transactionnel (TLM)
Contracts et Spécifications
Simulation Précoce
Stubbing
Systèmes sur puce
Modélisation des données (informatique)
Intelligence artificielle embarquée
Conception au niveau système
Prédiction des propriétés temporelles et de l’énergie
Intelligence artificielle
Systèmes embarqués (informatique)