 |
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
3
Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Erwan Fabiani 1
Author
Loïc Lagadec 2, 3
Author IdHAL : loic-lagadec
Mohamed Ben Hammouda 1
Author
Ciprian Teodorov 3, 2
Author IdHAL : ciprian-teodorov
1
Lab-STICC_UBO_CACS_MOCS (France)
- Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise BP 832 29285 BREST CEDEX - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France)
- IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO
3 Rue des Archives, 29238 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- UEB - Université européenne de Bretagne - European University of Brittany (5 boulevard Laënnec - 35000 Rennes - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6285 (France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
2
Pôle STIC_IDM (France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
3
Lab-STICC_ENSTAB_ CACS_MOCS (France)
- Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6285 (France)
- UBL - Université Bretagne Loire (Cité Internationale, 1 place Paul Ricoeur - CS 54417 35044 RENNES CEDEX - France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
Document type :
Conference papers
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
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
Collections
CNRS | INSTITUT-TELECOM | ENIB | LAB-STICC_ENIB | LAB-STICC | UNIV-BREST | LAB-STICC_UBO | ENSTA-BRETAGNE-STIC | ENSTA-BRETAGNE | IBNM
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⟩
Metrics
Record views