Aakash Tyagi

16 papers A* 2A 1Misc 1Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis.
MLCAD
Surya Jasper, Minh Luu, Evan Pan, Aakash Tyagi, Michael Quinn, Jiang Hu, David Kebo Houngninou
2025 J jnl
BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis.
CoRR
Surya Jasper, Minh Luu, Evan Pan, Aakash Tyagi, Michael Quinn, Jiang Hu, David Kebo Houngninou
2025 — conf
Improving Last-Mile Coverage in Functional Verification.
MLCAD
Chengjia Liu, Jnana Preeti Parlapalli, David Kebo Houngninou, Michael Quinn, Aakash Tyagi, Jiang Hu
2025 J jnl
Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization.
CoRR
Fenghua Wu, Evan Pan, Rahul Kande, Michael Quinn, Aakash Tyagi, David Kebo Houngninou, Jeyavijayan Rajendran, Jiang Hu
2025 — conf
VCDiag: Classifying Erroneous Waveforms for Failure Triage Acceleration.
MLCAD
Minh Luu, Surya Jasper, Khoi Le, Evan Pan, Michael Quinn, Aakash Tyagi, Jiang Hu
2025 J jnl
VCDiag: Classifying Erroneous Waveforms for Failure Triage Acceleration.
CoRR
Minh Luu, Surya Jasper, Khoi Le, Evan Pan, Michael Quinn, Aakash Tyagi, Jiang Hu
2024 — conf
MinBLoG: Minimization of Boolean Logic Functions using Graph Attention Network.
MLCAD
Prianka Sengupta, Aakash Tyagi, Jiang Hu, Vivek K. Rajan, Hesham Mostafa, Somdeb Majumdar
2023 — conf
Early Identification of Timing Critical RTL Components using ML based Path Delay Prediction.
MLCAD
Prianka Sengupta, Aakash Tyagi, Yiran Chen, Jiang Hu
2023 A* conf
HyPFuzz: Formal-Assisted Processor Fuzzing.
USENIX Security Symposium
Chen Chen, Rahul Kande, Nathan Nguyen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
2023 J jnl
HyPFuzz: Formal-Assisted Processor Fuzzing.
CoRR
Chen Chen, Rahul Kande, Nathan Nguyen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
2022 Misc conf
Automated Generation of Tiny Model for Real-Time ECG Classification on Tiny Edge Devices.
SenSys
Shalini Mukhopadhyay, Swarnava Dey, Avik Ghose, Aakash Tyagi
2022 A conf
How Good Is Your Verilog RTL Code?: A Quick Answer from Machine Learning.
ICCAD
Prianka Sengupta, Aakash Tyagi, Yiran Chen, Jiang Hu
2022 A* conf
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities.
USENIX Security Symposium
Rahul Kande, Addison Crump, Garrett Persyn, Patrick Jauernig, Ahmad-Reza Sadeghi, Aakash Tyagi, Jeyavijayan Rajendran
2022 J jnl
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities.
CoRR
Aakash Tyagi, Addison Crump, Ahmad-Reza Sadeghi, Garrett Persyn, Jeyavijayan Rajendran, Patrick Jauernig, Rahul Kande
2022 — conf
Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors.
ISQED
Saumil Gogri, Aakash Tyagi, Michael Quinn, Jiang Hu
1990 — conf
Systolic array implementation of image segmentation by a directed split and merge procedure.
ICPR (2)
Aakash Tyagi, Magdy A. Bayoumi