Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

3 Résultats
hal_authIdPerson_i : 1229416
Page :
triés par

Asserting causal properties in High Level Synthesis

 Erwan Fabiani , Loïc Lagadec , Mohamed Ben Hammouda , Ciprian Teodorov
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
Communication dans un congrès hal-01623030v1
Image document

Phadeo : un environnement pour FPGA virtuel

 Sebastián Tleye , Ciprian Teodorov , Erwan Fabiani , Loic Lagadec
2015
Pré-publication, Document de travail hal-01179474v1

Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging

 Loic Lagadec , Ciprian Teodorov , Jean-Christophe Le Lann , Damien Picard , Erwan Fabiani et al.
Science of Computer Programming, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩
Article dans une revue hal-00998533v1
Page :