5 citations · 7 across the 4 of their papers we have counts for
4 papers
Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions
Mohammad Reza Heidari Iman, Giorgio Di Natale, Katell Morin-Allory
Functional verification increasingly relies on Assertion-Based Verification (ABV), which has become a key approach for verifying hardware designs due to its efficiency and effectiv…
Security layers and related services within the Horizon Europe NEUROPULS project
Fabio Pavanello, Cedric Marchand, Paul Jimenez +17
In the contemporary security landscape, the incorporation of photonics has emerged as a transformative force, unlocking a spectrum of possibilities to enhance the resilience and ef…
NEUROPULS: NEUROmorphic energy-efficient secure accelerators based on Phase change materials aUgmented siLicon photonicS
Fabio Pavanello, Cedric Marchand, Ian O'Connor +34
This special session paper introduces the Horizon Europe NEUROPULS project, which targets the development of secure and energy-efficient RISC-V interfaced neuromorphic accelerators…
SECCS: SECure Context Saving for IoT Devices
Emanuele Valea, Mathieu Da Silva, Giorgio Natale +3
Energy consumption of IoT devices is a very important issue. For this reason, many techniques have been developed to allow IoT nodes to be aware of the amount of available energy.…