Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Asserting causal properties in High Level Synthesis

Erwan Fabiani 1 Loïc Lagadec 2, 3 Mohamed Ben Hammouda 1 Ciprian Teodorov 3, 2
1 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
2 Pôle STIC_IDM
ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne
3 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01623030
Contributeur : Ciprian Teodorov <>
Soumis le : mardi 24 octobre 2017 - 23:15:21
Dernière modification le : mercredi 24 juin 2020 - 16:19:51

Identifiants

  • HAL Id : hal-01623030, version 1

Citation

Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov. Asserting causal properties in High Level Synthesis. 2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece. ⟨hal-01623030⟩

Partager

Métriques

Consultations de la notice

278