2 papers
cs.CR2026
Spying Across Chiplets: Side-Channel Attacks in 2.5/3D Integrated Systems
Giorgio Di Natale, Christelle Rabache, Pierre-Louis Hellier +4
Advanced packaging and chiplet-based integration are increasingly adopted to build complex heterogeneous systems beyond the limits of monolithic scaling. While these architectures…
cs.SE2026
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…