CLIP: A Structural Approach to Cut Points Matching for Logic Equivalence Checking. - Dinesh Reddy Ankireddy; Sudipta Paria; Aritra Dasgupta 002; Sandip Ray; Swarup Bhunia (VTS, 2025)

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation. - Dinesh Reddy Ankireddy; Sudipta Paria; Aritra Dasgupta 002; Sandip Ray; Swarup Bhunia (CoRR, 2025)