TY  - RPRT
TI  - Optimizing Design Verification using Machine Learning: Doing better than Random
AU  - William Hughes
AU  - Sandeep Srinivasan
AU  - Rohit Suvarna
AU  - Maithilee Kulkarni
PY  - 2019
UR  - https://arxiv.org/abs/1909.13168
ID  - 1909.13168
ER  -