Asserting causal properties in High Level Synthesis - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Asserting causal properties in High Level Synthesis

Erwan Fabiani
Lab-STICC_UBO_CACS_MOCS
CV
Loïc Lagadec
Pôle STIC_IDM
Lab-STICC_ENSTAB_ CACS_MOCS
CV
Mohamed Ben Hammouda
  • Fonction : Auteur
Lab-STICC_UBO_CACS_MOCS
Ciprian Teodorov
Lab-STICC_ENSTAB_ CACS_MOCS
Pôle STIC_IDM
CV

Domaines

Systèmes embarqués Architectures Matérielles [cs.AR]

Ciprian Teodorov  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01623030

Soumis le : mardi 24 octobre 2017-23:15:21

Dernière modification le : mardi 27 août 2024-12:48:14

Fichier non déposé

Dates et versions

hal-01623030 , version 1 (24-10-2017)

Identifiants

  • HAL Id : hal-01623030 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST ENSTA-BRETAGNE CNRS ENSTA-BRETAGNE-STIC LAB-STICC_UBO ENIB LAB-STICC_ENIB LAB-STICC IBNM
168 Consultations
0 Téléchargements

Partager

More