294 citations
- RWTH Aachen UniversityDE9 papers
- Technical University of MunichDE8 papers
- AMO (Germany)DE7 papers
- Infineon Technologies (Austria)AT7 papers
- Aston UniversityGB5 papers
- Hospital de Santa CruzPT4 papers
- Infinera (United States)US4 papers
- Technische Universität DresdenDE3 papers
- Télécom ParisFR3 papers
- TU WienAT3 papers
- University College LondonGB3 papers
- University of ViennaAT3 papers
Showing 2024 · cs.AIShow all
2 papers · 2 filters
cs.AI2024★ 3 cited
Generative AI Augmented Induction-based Formal Verification
Aman Kumar, Deepak Narayan Gadde
Generative Artificial Intelligence (GenAI) has demonstrated its capabilities in the present world that reduce human effort significantly. It utilizes deep learning techniques to cr…
cs.AI2024★ 5 cited
Efficient Stimuli Generation using Reinforcement Learning in Design Verification
Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar +3
The increasing design complexity of System-on-Chips (SoCs) has led to significant verification challenges, particularly in meeting coverage targets within a timely manner. At prese…