Deepak Narayan Gadde

According to our database, Deepak Narayan Gadde authored at least 9 papers between 2024 and 2025.

Collaborative distances:

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

2025

Saarthi: The First AI Formal Verification Engineer.

Aman Kumar, Deepak Narayan Gadde, Keerthan Kopparam Radhakrishna, Djones Lettnin

CoRR, February, 2025

2024

FuzzWiz - Fuzzing Framework for Efficient Hardware Coverage.

Deepak Narayan Gadde, Aman Kumar, Djones Lettnin, Sebastian Simon

CoRR, 2024

Analogous Alignments: Digital "Formally" meets Analog.

Hansa Mohanty, Deepak Narayan Gadde

CoRR, 2024

Towards Efficient Design Verification - Constrained Random Verification using PyUVM.

Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar

CoRR, 2024

Effective Design Verification - Constrained Random with Python and Cocotb.

Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar

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

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification.

Deepak Narayan Gadde, Aman Kumar, Thomas Nalapat, Evgenii Rezunov, Fabio Cappellini

CoRR, 2024

Generative AI Augmented Induction-based Formal Verification.

Aman Kumar, Deepak Narayan Gadde

Proceedings of the 37th IEEE International System-on-Chip Conference, 2024

Efficient Stimuli Generation using Reinforcement Learning in Design Verification.

Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon

Proceedings of the 20th International Conference on Synthesis, 2024