TY - RPRT TI - Optimising Design Verification Using Machine Learning: An Open Source Solution AU - B. Samhita Varambally AU - Naman Sehgal PY - 2020 UR - https://arxiv.org/abs/2012.02453 ID - 2012.02453 ER -