Formalizing loop-carried dependencies in Coq for high-level synthesis - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Poster De Conférence Année : 2019
Fichier non déposé

Dates et versions

hal-02391954 , version 1 (03-12-2019)

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

Partager

Gmail Facebook X LinkedIn More