Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01623030
Contributor : Ciprian Teodorov <>
Submitted on : Tuesday, October 24, 2017 - 11:15:21 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:51 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

284