Machine Learning-Guided Stimulus Generation for Functional Verification
S. Gogri, J. Ju, A. Tyagi, et alDVCON'20, San Jose, CA, March 2020 DVCon proceedings ↗
Category: publications
Publications – VERITAS Lab
Transaction level stimulus optimization in functional verification using machine learning predictors
S Gogri, A Tyagi, M Quinn, J Hu23rd International Symposium on Quality Electronic Design (ISQED), September 2022 IEEE Xplore ↗
TheHuzz: Instruction Fuzzing of Processors using Golden Reference Models for finding Software-Exploitable Vulnerabilities
R. Kande, A. Crump, G. Persyn, P. Jauernig, A. Tyagi, A. Sadeghi, J.V. Rajendran31st USENIX Security Symposium, August 2022 USENIX ↗
How Good Is Your Verilog RTL Code? A Quick Answer from Machine Learning
P. Sengupta, A. Tyagi, Y. Chen, J. HuInternational Conference on Computer Aided Design, November 2022 ACM Digital Library ↗
HyPFuzz: Formal-Assisted Processor Fuzzing
C. Chen, R. Kande, F. Andersen, A. Tyagi, A. Sadeghi, J. Rajendran32nd USENIX Security Symposium, August 2023 USENIX ↗
Quick Identification of Timing Critical Components in RTL Designs
P. Sengupta, A. Tyagi, Y. Chen, J. HuIEEE/ACM MLCAD Workshop, September 2023 IEEE Xplore ↗
MinBLoG: Minimization of Boolean Logic Functions using Graph Attention Network
P. Sengupta, A Tyagi, J Hu, VK Rajan, H Mostafa, S MajumdarACM/IEEE International Symposium on Machine Learning for CAD, September 2024 ACM Digital Library ↗
VCDiag: Classifying Erroneous Waveforms for Failure Triage Acceleration
M Luu, S Jasper, K Le, E Pan, M Quinn, A Tyagi, J HuACM/IEEE International Symposium on Machine Learning for CAD, September 2025 arXiv preprint ↗
BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis
S Jasper, M Luu, E Pan, A Tyagi, M Quinn, J Hu, DK HoungninouACM/IEEE International Symposium on Machine Learning for CAD, September arXiv preprint ↗
Improving Last-Mile Coverage in Functional Verification
C Liu, P Parlapalli, DK Houngninou, M Quinn, A Tyagi, J HuACM/IEEE International Symposium on Machine Learning for CAD, September 2025 ACM Digital Library ↗