|
 
|
[Har14a] A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level
Mémoire de Thèse : Soutenue le: 04 November 2014, pp. 248, pp.: Directeur:Kamel BarkaouiCodirecteur: Bruno Monsuez
Rapporteur 1:Alain Mérigot
Rapporteur 2:Mohamed Shawky
Membre du jury:Bouzefrance Samia
Membre du jury:Zhiwu Li
Membre du jury:Pierre Paradinas
Membre du jury:Christophe Vedrine
,
, : A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level,
Mots clés: SystemC, Méthodes Formelles, Automates, Exécution Symbolique, Abstraction des prédicats, Sémantiques des langages, Model Checking.
Résumé:
a télécharger
Equipe:
sys
BibTeX
| @phdthesis { | |||
| Har14a, | |||
| title | = | "{A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level}", | |
| author | = | "N. Harrath", | |
| year | = | 2014, | |
| pages | = | "248", | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| note | = | "{ Directeur:Kamel Barkaoui Codirecteur: Bruno Monsuez Rapporteur 1:Alain Mérigot Rapporteur 2:Mohamed Shawky Membre du jury:Bouzefrance Samia Membre du jury:Zhiwu Li Membre du jury:Pierre Paradinas Membre du jury:Christophe Vedrine , }", | |
| } |
