Keyword:code coverage

Publications
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