Systolic array implementation of image segmentation by a directed split and merge procedure. - Aakash Tyagi; Magdy A. Bayoumi (ICPR (2), 1990)

How Good Is Your Verilog RTL Code?: A Quick Answer from Machine Learning. - Prianka Sengupta; Aakash Tyagi; Yiran Chen 001; Jiang Hu (ICCAD, 2022)

Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors. - Saumil Gogri; Aakash Tyagi; Michael Quinn; Jiang Hu (ISQED, 2022)

Automated Generation of Tiny Model for Real-Time ECG Classification on Tiny Edge Devices. - Shalini Mukhopadhyay; Swarnava Dey; Avik Ghose; Aakash Tyagi (SenSys, 2022)

TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities. - Rahul Kande; Addison Crump; Garrett Persyn; Patrick Jauernig; Ahmad-Reza Sadeghi; Aakash Tyagi; Jeyavijayan Rajendran (USENIX Security Symposium, 2022)

Early Identification of Timing Critical RTL Components using ML based Path Delay Prediction. - Prianka Sengupta; Aakash Tyagi; Yiran Chen 001; Jiang Hu (MLCAD, 2023)

HyPFuzz: Formal-Assisted Processor Fuzzing. - Chen Chen 125; Rahul Kande; Nathan Nguyen; Flemming Andersen; Aakash Tyagi; Ahmad-Reza Sadeghi; Jeyavijayan Rajendran (USENIX Security Symposium, 2023)

MinBLoG: Minimization of Boolean Logic Functions using Graph Attention Network. - Prianka Sengupta; Aakash Tyagi; Jiang Hu; Vivek K. Rajan; Hesham Mostafa; Somdeb Majumdar (MLCAD, 2024)

Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization. - Fenghua Wu; Evan Pan; Rahul Kande; Michael Quinn; Aakash Tyagi; David Kebo Houngninou; Jeyavijayan Rajendran; Jiang Hu (CoRR, 2025)

VCDiag: Classifying Erroneous Waveforms for Failure Triage Acceleration. - Minh Luu; Surya Jasper; Khoi Le; Evan Pan; Michael Quinn; Aakash Tyagi; Jiang Hu (CoRR, 2025)

BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis. - Surya Jasper; Minh Luu; Evan Pan; Aakash Tyagi; Michael Quinn; Jiang Hu; David Kebo Houngninou (CoRR, 2025)