Composants abstraits pour la vérification fonctionnelle des systèmes sur puce

Composants abstraits pour la vérification fonctionnelle des systèmes sur puce

Les travaux présentés dans cette thèse portent sur la modélisation, la spécification et la vérification des modèlesdes Systèmes sur Puce (SoCs) au niveau d’abstraction transactionnel et à un niveau d’abstraction plus élevé.Les SoCs sont hétérogènes: ils comprennent des composants matériels et des pr...

Full description

Bibliographic Details
Main Author: Romenska, Yuliia
Other Authors: Grenoble Alpes
Language:en
Published: 2017
Subjects:
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
System-On-A-Chip (SoCs)
Assertion-Based Verification (ABV)
Transaction Level Modeling (TLM)
Contracts and Specifications
Early Simulation
004
Online Access:http://www.theses.fr/2017GREAM019/document

Internet

http://www.theses.fr/2017GREAM019/document

Similar Items