Gadde, Deepak Narayan

1. Saarthi: The First AI Formal Verification Engineer
   2025/02/23 by Aman Kumar, Kumar, Aman, Deepak Narayan Gadde +5 · 5 citations
   Computer Science · Engineering · Decision Sciences · #Model-Driven Software Engineering Techniques #Real-time simulation and control systems #Simulation Techniques and Applications
2. Generative AI Augmented Induction-based Formal Verification
   2024/07/18 by Kumar, Aman, Gadde, Deepak Narayan · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
3. Efficient Stimuli Generation using Reinforcement Learning in Design Verification
   2024/05/30 by Gadde, Deepak Narayan, Nalapat, Thomas, Kumar, Aman +3 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
4. All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification
   2024/03/25 by Gadde, Deepak Narayan, Kumar, Aman, Nalapat, Thomas +2 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
5. Effective Design Verification -- Constrained Random with Python and Cocotb
   2024/05/06 by Deepak Narayan Gadde, Suruchi Kumari, Gadde, Deepak Narayan +3 · 1 citation
   Computer Science · Engineering · #Advanced Multi-Objective Optimization Algorithms #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Manufacturing Process and Optimization
6. FuzzWiz -- Fuzzing Framework for Efficient Hardware Coverage
   2024/10/23 by Gadde, Deepak Narayan, Kumar, Aman, Lettnin, Djones +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Software Engineering (cs.SE)