Davide Pala

What You Simulate Is What You Synthesize: Designing a Processor Core from C++ Specifications

Olivier Sentieys, Simon Rokicki, Davide Pala, 2019, 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Design and programming of a coprocessor for a RISC-V architecture

Davide Pala, 2017 .

What You Simulate Is What You Synthesize: Design of a RISC-V Core from C++ Specifications

Olivier Sentieys, Simon Rokicki, Davide Pala, 2019 .

Freezer: A Specialized NVM Backup Controller for Intermittently-Powered Systems

Ivan Miro-Panades, Olivier Sentieys, Davide Pala, 2020 .

The INRIA ZEP project: NVRAM and Harvesting for Zero Power Computations

Kevin Marquet, Olivier Sentieys, Ivan Miro-Panades, 2018 .