Vérification de propriétés logico-temporelles de spécifications SystemC TLM
Au-delà de la formidable évolution en termes de complexité du circuit électronique en soi, son adoption et sa diffusion ont connu, au fil des dernières années, une explosion dans un très grand nombre de domaines distincts. Un système sur puce peut incorporer une combinaison de composants aux fonctio...
Main Author: | Ferro, Luca |
---|---|
Language: | FRE |
Published: |
Université de Grenoble
2011
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00633069 http://tel.archives-ouvertes.fr/docs/00/63/50/22/PDF/20367_FERRO_2011_archivage_1_.pdf |
Similar Items
-
Vérification de propriétés logico-temporelles de spécifications SystemC TLM
by: Ferro, Luca
Published: (2011) -
Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres
by: Belhadj Amor, Zeineb
Published: (2014) -
Modélisation, simulation et vérification de circuits numériques asynchrones dans le standard SystemC v2.0.1
by: Sirianni, A.
Published: (2004) -
Une formalisation fonctionnelle des communications sur la puce
by: Schmaltz, J.
Published: (2006) -
SIMULATION SYMBOLIQUE DES CIRCUITS DÉCRITS AU NIVEAU ALGORITHMIQUE
by: Al-Sammane, G.
Published: (2005)