@inproceedings{fabiani:hal-01623030,
  TITLE = {{Asserting causal properties in High Level Synthesis}},
  AUTHOR = {Fabiani, Erwan and Lagadec, Lo{\"i}c and Hammouda, Mohamed Ben and Teodorov, Ciprian},
  URL = {https://hal.science/hal-01623030},
  BOOKTITLE = {{2017 IEEE 2nd International Verification and Security Workshop (IVSW)}},
  ADDRESS = {Thessaloniki, Greece},
  YEAR = {2017},
  MONTH = Jul,
  HAL_ID = {hal-01623030},
  HAL_VERSION = {v1},
}