Author:Djones Lettnin

Publications
Verifying Non-Friendly Formal Verification Designs: Can We Start Earlier? Bryan Olmos, Daniel Gerl, Aman Kumar and Djones Lettnin EasyChair Preprint 14786
A Novel Approach in Proving Unreachable Paths in Hardware-Dependent Software Bryan Daniel Olmos Suquillo, Wolfgang Kunz and Djones Lettnin EasyChair Preprint 14768
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