Accueil > Mots-clés > Topics > Formal Verification
Formal Verification
Articles
-
Recherche >
Projets >
FotoVP : Formal Tools for Virtual Prototyping
-
Recherche >
Exposés >
Transaction-Level Models of Systems-on-a-Chip : Can they be Correct, Faithful and Fast ?
-
Recherche >
Publications >
Habilitation à Diriger des Recherches (HDR)
-
Recherche >
Étudiants/Post-docs >
Kevin Marquet
-
Recherche >
Projets >
OpenTLM
-
Recherche >
Étudiants/Post-docs >
Florian Guffon
-
Recherche >
Outils >
PinaVM : SystemC front-end based on LLVM
-
Recherche >
Stages/emplois >
Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level
-
Recherche >
Outils >
Pinapa : (deprecated) SystemC front-end based on GCC
-
Recherche >
Étudiants/Post-docs >
Julien Henry (TER/IRL)
Email:
Mots-clés dans le même groupe
- 42
- Interprétation Abstraite
- Implémentation
- Modèle polyédrique
- Synthèse de haut niveau (HLS)
- Compilation
- Dataflow programs
- Formal Verification
- Future
- Parallelism
- Power-estimation
- Programming languages
- Real-Time Calculus
- Simulation
- SMT-solving
- TLM
- Transistor-level analysis of electronic circuits
- Worst Case Execution Time
Groupes de mots-clés
| Se connecter |
Plan du site |
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License