%0 Conference Paper
%F Oral 
%T Asserting causal properties in High Level Synthesis
%+ Lab-STICC_UBO_CACS_MOCS
%+ Pôle STIC_IDM
%+ Lab-STICC_ENSTAB_ CACS_MOCS
%A Fabiani, Erwan
%A Lagadec, Loïc
%A Hammouda, Mohamed Ben
%A Teodorov, Ciprian
%< avec comité de lecture
%B 2017 IEEE 2nd International Verification and Security Workshop (IVSW)
%C Thessaloniki, Greece
%8 2017-07-03
%D 2017
%Z Computer Science [cs]/Embedded Systems
%Z Computer Science [cs]/Hardware Architecture [cs.AR]Conference papers
%G English
%L hal-01623030
%U https://hal.archives-ouvertes.fr/hal-01623030
%~ CNRS
%~ UNIV-UBS
%~ INSTITUT-TELECOM
%~ ENIB
%~ LAB-STICC_ENIB
%~ LAB-STICC
%~ LAB-STICC_UBO_CACS
%~ UNIV-BREST
%~ LAB-STICC_UBO
%~ ENSTA-BRETAGNE-STIC
%~ ENSTA-BRETAGNE
%~ IBNM
%~ INSTITUTS-TELECOM