Deepak Narayan Gadde

According to our database, Deepak Narayan Gadde authored at least 7 papers in 2024.

Collaborative distances:

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

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

Efficient Stimuli Generation using Reinforcement Learning in Design Verification.

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

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