Communication Dans Un Congrès Année : 2017

Asserting causal properties in High Level Synthesis

Fichier non déposé

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⟩
290 Consultations
0 Téléchargements

Partager

  • More