Improving Last-Mile Coverage in Functional Verification

C Liu, P Parlapalli, DK Houngninou, M Quinn, A Tyagi, J Hu
ACM/IEEE International Symposium on Machine Learning for CAD, September 2025

https://dl.acm.org/doi/abs/10.1109/ICSE-SEIP58684.2023.00037