Formal methods for functional verification of cache-coherent systems-on-chip / Abderahman Kriouile ; sous la direction de Radu Mateescu et de Wendelin Bernhard Serwe

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Systèmes sur puce

Classification Dewey : 004

Mateescu, Radu (Directeur de thèse / thesis advisor)

Serwe, Wendelin Bernhard (1973-) (Directeur de thèse / thesis advisor)

Jéron, Thierry (1963-....) (Président du jury de soutenance / praeses)

Communauté d'universités et d'établissements Université Grenoble Alpes (Organisme de soutenance / degree-grantor)

École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (Ecole doctorale associée à la thèse / doctoral school)

Institut national de recherche en informatique et en automatique (France) (Laboratoire associé à la thèse / thesis associated laboratory)

Laboratoire d'informatique de Grenoble (Laboratoire associé à la thèse / thesis associated laboratory)