activity
20192026
most citedNEUROPULS: NEUROmorphic energy-efficient secure accelerators based on Phase change materials aUgmented siLicon photonicS

5 citations · 7 across the 4 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

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…