Poster De Conférence
Année : 2019
Florian Faissole : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02391954
Soumis le : mardi 3 décembre 2019-17:42:19
Dernière modification le : mardi 13 février 2024-03:25:14
Dates et versions
Identifiants
- HAL Id : hal-02391954 , version 1
Citer
Florian Faissole, George Constantinides, David Thomas. Formalizing loop-carried dependencies in Coq for high-level synthesis. FCCM 2019 - 27th IEEE Symposium on Field-Programmable Custom Computing Machines, Apr 2019, San Diego, United States. ⟨hal-02391954⟩
Collections
28
Consultations
0
Téléchargements