Search Results for author: Deepak Narayan Gadde

Found 2 papers, 0 papers with code

Efficient Stimuli Generation using Reinforcement Learning in Design Verification

no code implementations30 May 2024 Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon

The increasing design complexity of System-on-Chips (SoCs) has led to significant verification challenges, particularly in meeting coverage targets within a timely manner.

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification

no code implementations25 Mar 2024 Deepak Narayan Gadde, Aman Kumar, Thomas Nalapat, Evgenii Rezunov, Fabio Cappellini

This dataset was generated by 4 different LLMs and features a unique set of designs for each of the 10 CWEs we target in our paper.

Cannot find the paper you are looking for? You can Submit a new open access paper.