Analyse de la consistance mémoire dans les MPSoCs à l'aide du prototypage virtuel
La vérification de la consistance mémoire (VCM) consiste à vérifier que l'exécution d'un programme par une plate-forme matérielle s'est déroulée conformément à un modèle de consistance mémoire (MCM).Un MCM défini certaines propriétés concernant les accès à la mémoire, en particulier c...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2013GRENM079/document |