Dinesh Reddy Ankireddy

According to our database, Dinesh Reddy Ankireddy authored at least 4 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation.

Dinesh Reddy Ankireddy, Sudipta Paria, Aritra Dasgupta, Sandip Ray, Swarup Bhunia

CoRR, June, 2025

CLIP: A Structural Approach to Cut Points Matching for Logic Equivalence Checking.

Dinesh Reddy Ankireddy, Sudipta Paria, Aritra Dasgupta, Sandip Ray, Swarup Bhunia

Proceedings of the 43rd IEEE VLSI Test Symposium, 2025

LASSO: LLM-Aided Security Property Generation for Assertion-based SoC Verification.

Dinesh Reddy Ankireddy, Sudipta Paria, Aritra Dasgupta, Sandip Ray, Swarup Bhunia

Proceedings of the 7th ACM/IEEE Symposium on Machine Learning for CAD, 2025

FV-PAL: Scalable Formal Verification through Partitioning and LLM-Guided Property Generation.

Sudipta Paria, Aritra Dasgupta, Dinesh Reddy Ankireddy, Prabuddha Chakraborty, Swarup Bhunia

Proceedings of the 43rd IEEE International Conference on Computer Design, 2025