Deepak Narayan Gadde

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 6

Top Topics

Formal Verification

Machine Learning

Top Venues

Publications

Deepak Narayan Gadde, Aman Kumar, Thomas Nalapat, Evgenii Rezunov, Fabio Cappellini
All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification. CoRR (2024)
Aman Kumar, Deepak Narayan Gadde
Generative AI Augmented Induction-based Formal Verification. CoRR (2024)
Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar
Effective Design Verification - Constrained Random with Python and Cocotb. CoRR (2024)
Deepak Narayan Gadde, Sebastian Simon, Djones Lettnin, Thomas Ziller
Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification. CoRR (2024)
Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
Efficient Stimuli Generation using Reinforcement Learning in Design Verification. CoRR (2024)
Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar
Towards Efficient Design Verification - Constrained Random Verification using PyUVM. CoRR (2024)