Publications

Publications

< retour aux publications

Automatic Prototyping of declarative properties on FPGA

Auteur(s) : D. Borrione, N. Javaheri, K. Morin-Allory, A. Porcher

Doc. Source: Electronic System Level Synthesis Conference (ESLsyn'13)