Lettnin, Djones

1. Saarthi: The First AI Formal Verification Engineer
   2025/02/23 by Aman Kumar, Deepak Narayan Gadde, Kumar, Aman +5 · 5 citations
   Computer Science · Engineering · Decision Sciences · #Model-Driven Software Engineering Techniques #Real-time simulation and control systems #Simulation Techniques and Applications
2. 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)
3. 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)