Integration of the Open-Source RISC-V Formal Verification Framework into the STMicroelectronics Toolchain and Its Application to the STRiVe2.4 CPU.

Emilio Rapuano Lorenzo Bordonaro Emilio Rapuano Sara Bocchio Luca Fanucci Integration of the Open-Source RISC-V Formal Verification Framework into the STMicroelectronics Toolchain and Its Application to the STRiVe2.4 CPU. 48-55 2024 ApplePies https://doi.org/10.1007/978-3-031-84100-2_6 conf/applepies/2024 db/conf/applepies/applepies2024.html#BordonaroRBF24

Tommaso Pacini Emilio Rapuano Luca Fanucci FPG-AI: A Technology-Independent Framework for the Automation of CNN Deployment on FPGAs. 32759-32775 2023 11 IEEE Access https://doi.org/10.1109/ACCESS.2023.3263392 db/journals/access/access11.html#PaciniRF23

Emilio Rapuano Gabriele Meoni Tommaso Pacini Gianmarco Dinelli Gianluca Furano Gianluca Giuffrida Luca Fanucci An FPGA-Based Hardware Accelerator for CNNs Inference on Board Satellites: Benchmarking with Myriad 2-Based Solution for the CloudScout Case Study. 1518 2021 13 Remote. Sens. 8 https://doi.org/10.3390/rs13081518 db/journals/remotesensing/remotesensing13.html#RapuanoMPDFGF21

Corrado Comino Tommaso Pacini Emilio Rapuano Luca Fanucci Design and Implementation of an FPGA-Based CNN Hardware Accelerator Using Partial Reconfigurability: The CloudScout Case Study. 187-193 2021 ApplePies https://doi.org/10.1007/978-3-030-95498-7_26 conf/applepies/2021 db/conf/applepies/applepies2021.html#CominoPRF21

Gianmarco Dinelli Gabriele Meoni Emilio Rapuano Tommaso Pacini Luca Fanucci MEM-OPT: A Scheduling and Data Re-Use System to Optimize On-Chip Memory Usage for CNNs On-Board FPGAs. 335-347 2020 10 IEEE J. Emerg. Sel. Topics Circuits Syst. 3 https://doi.org/10.1109/JETCAS.2020.3015294 db/journals/esticas/esticas10.html#DinelliMRPF20

Gianmarco Dinelli Gabriele Meoni Emilio Rapuano Luca Fanucci Advantages and Limitations of Fully on-Chip CNN FPGA-Based Hardware Accelerator. 1-5 2020 ISCAS https://doi.org/10.1109/ISCAS45731.2020.9180867 conf/iscas/2020 db/conf/iscas/iscas2020.html#DinelliMRF20

Gianmarco Dinelli Gabriele Meoni Emilio Rapuano Gionata Benelli Luca Fanucci An FPGA-Based Hardware Accelerator for CNNs Using On-Chip Memories Only: Design and Benchmarking with Intel Movidius Neural Compute Stick. 7218758:1-7218758:13 2019 2019 Int. J. Reconfigurable Comput. https://doi.org/10.1155/2019/7218758 db/journals/ijrc/ijrc2019.html#DinelliMRBF19

Gionata Benelli Sara Bocchio Lorenzo Bordonaro Corrado Comino Gianmarco Dinelli Luca Fanucci Gianluca Furano Gianluca Giuffrida Gabriele Meoni Tommaso Pacini