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: | |
---|---|
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 |