Deepak Narayan Gadde

18 papers C 1Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Agentic AI-based Coverage Closure for Formal Verification.
CoRR
Sivaram Pothireddypalli, Ashish Raman, Deepak Narayan Gadde, Aman Kumar
2026 J jnl
Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification.
CoRR
Aman Kumar, Deepak Narayan Gadde, Luu Danh Minh, Vaisakh Naduvodi Viswambharan, Keerthan Kopparam Radhakrishna, Sivaram Pothireddypalli
2025 J jnl
Formal that "Floats" High: Formal Verification of Floating Point Arithmetic.
CoRR
Hansa Mohanty, Vaisakh Naduvodi Viswambharan, Deepak Narayan Gadde
2025 — conf
Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification.
SBCCI
Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Vaisakh Naduvodi Viswambharan, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
2025 J jnl
Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification.
CoRR
Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Vaisakh Naduvodi Viswambharan, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
2025 C conf
Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach.
ISCAS
Suruchi Kumari, Deepak Narayan Gadde, Aman Kumar
2025 J jnl
Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach.
CoRR
Suruchi Kumari, Deepak Narayan Gadde, Aman Kumar
2025 J jnl
Saarthi: The First AI Formal Verification Engineer.
CoRR
Aman Kumar, Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Djones Lettnin
2024 J jnl
All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification.
CoRR
Deepak Narayan Gadde, Aman Kumar, Thomas Nalapat, Evgenii Rezunov, Fabio Cappellini
2024 J jnl
Analogous Alignments: Digital "Formally" meets Analog.
CoRR
Hansa Mohanty, Deepak Narayan Gadde
2024 J jnl
Effective Design Verification - Constrained Random with Python and Cocotb.
CoRR
Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar
2024 — conf
Efficient Stimuli Generation using Reinforcement Learning in Design Verification.
SMACD
Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
2024 J jnl
Efficient Stimuli Generation using Reinforcement Learning in Design Verification.
CoRR
Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
2024 J jnl
FuzzWiz - Fuzzing Framework for Efficient Hardware Coverage.
CoRR
Deepak Narayan Gadde, Aman Kumar, Djones Lettnin, Sebastian Simon
2024 — conf
Generative AI Augmented Induction-based Formal Verification.
SOCC
Aman Kumar, Deepak Narayan Gadde
2024 J jnl
Generative AI Augmented Induction-based Formal Verification.
CoRR
Aman Kumar, Deepak Narayan Gadde
2024 J jnl
Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification.
CoRR
Deepak Narayan Gadde, Sebastian Simon, Djones Lettnin, Thomas Ziller
2024 J jnl
Towards Efficient Design Verification - Constrained Random Verification using PyUVM.
CoRR
Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar