Efficient Stimuli Generation using Reinforcement Learning in Design Verification. - Deepak Narayan Gadde; Thomas Nalapat; Aman Kumar; Djones Lettnin; Wolfgang Kunz; Sebastian Simon (SMACD, 2024)

Generative AI Augmented Induction-based Formal Verification. - Aman Kumar; Deepak Narayan Gadde (SOCC, 2024)

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification. - Deepak Narayan Gadde; Aman Kumar; Thomas Nalapat; Evgenii Rezunov; Fabio Cappellini (CoRR, 2024)

Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification. - Deepak Narayan Gadde; Sebastian Simon; Djones Lettnin; Thomas Ziller (CoRR, 2024)

Effective Design Verification - Constrained Random with Python and Cocotb. - Deepak Narayan Gadde; Suruchi Kumari; Aman Kumar (CoRR, 2024)

Towards Efficient Design Verification - Constrained Random Verification using PyUVM. - Deepak Narayan Gadde; Suruchi Kumari; Aman Kumar (CoRR, 2024)

Analogous Alignments: Digital "Formally" meets Analog. - Hansa Mohanty; Deepak Narayan Gadde (CoRR, 2024)

FuzzWiz - Fuzzing Framework for Efficient Hardware Coverage. - Deepak Narayan Gadde; Aman Kumar; Djones Lettnin; Sebastian Simon (CoRR, 2024)

Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach. - Suruchi Kumari; Deepak Narayan Gadde; Aman Kumar (ISCAS, 2025)

Saarthi: The First AI Formal Verification Engineer. - Aman Kumar; Deepak Narayan Gadde; Keerthan Kopparam Radhakrishna; Djones Lettnin (CoRR, 2025)

Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification. - Deepak Narayan Gadde; Keerthan Kopparam Radhakrishna; Vaisakh Naduvodi Viswambharan; Aman Kumar; Djones Lettnin; Wolfgang Kunz; Sebastian Simon (CoRR, 2025)