Asserting causal properties in High Level Synthesis - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne

Communication Dans Un Congrès Année : 2017

Asserting causal properties in High Level Synthesis

(1) , (2, 3) , (1) , (3, 2)

1
2
3

Erwan Fabiani

Fonction : Auteur
PersonId : 1229416
IdHAL : erwan-fabiani
ORCID : 0009-0005-5884-6054

Lab-STICC_UBO_CACS_MOCS

Loïc Lagadec

Fonction : Auteur
PersonId : 2758
IdHAL : loic-lagadec
ORCID : 0000-0003-3778-3144
IdRef : 16903870X

Pôle STIC_IDM

Lab-STICC_ENSTAB_ CACS_MOCS

Mohamed Ben Hammouda

Fonction : Auteur

Lab-STICC_UBO_CACS_MOCS

Ciprian Teodorov

Fonction : Auteur
PersonId : 9871
IdHAL : ciprian-teodorov
IdRef : 161534058

Lab-STICC_ENSTAB_ CACS_MOCS

Pôle STIC_IDM

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 : mercredi 10 janvier 2024-13:58:03

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 INSTITUT-TELECOM ENSTA-BRETAGNE CNRS ENSTA-BRETAGNE-STIC LAB-STICC_UBO ENIB LAB-STICC_ENIB LAB-STICC IBNM

152 Consultations

0 Téléchargements

Partager