Author:Aman Kumar

Publications
Verifying Non-Friendly Formal Verification Designs: Can We Start Earlier? Bryan Olmos, Daniel Gerl, Aman Kumar and Djones Lettnin EasyChair Preprint 14786
Efficient Stimuli Generation Using Reinforcement Learning in Design Verification Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz and Sebastian Simon EasyChair Preprint 13423