​
Login / Signup
Aakash Tyagi
Publication Activity (10 Years)
Years Active: 1990-2023
Publications (10 Years): 8
Top Topics
Reference Models
Machine Learning
Security Vulnerabilities
Functional Verification
Top Venues
CoRR
USENIX Security Symposium
MLCAD
ISQED
</>
Publications
</>
Chen Chen
,
Rahul Kande
,
Nathan Nyugen
,
Flemming Andersen
,
Aakash Tyagi
,
Ahmad-Reza Sadeghi
,
Jeyavijayan Rajendran
HyPFuzz: Formal-Assisted Processor Fuzzing.
CoRR
(2023)
Prianka Sengupta
,
Aakash Tyagi
,
Yiran Chen
,
Jiang Hu
Early Identification of Timing Critical RTL Components using ML based Path Delay Prediction.
MLCAD
(2023)
Chen Chen
,
Rahul Kande
,
Nathan Nguyen
,
Flemming Andersen
,
Aakash Tyagi
,
Ahmad-Reza Sadeghi
,
Jeyavijayan Rajendran
HyPFuzz: Formal-Assisted Processor Fuzzing.
USENIX Security Symposium
(2023)
Saumil Gogri
,
Aakash Tyagi
,
Michael Quinn
,
Jiang Hu
Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors.
ISQED
(2022)
Prianka Sengupta
,
Aakash Tyagi
,
Yiran Chen
,
Jiang Hu
How Good Is Your Verilog RTL Code?: A Quick Answer from Machine Learning.
ICCAD
(2022)
Shalini Mukhopadhyay
,
Swarnava Dey
,
Avik Ghose
,
Aakash Tyagi
Automated Generation of Tiny Model for Real-Time ECG Classification on Tiny Edge Devices.
SenSys
(2022)
Aakash Tyagi
,
Addison Crump
,
Ahmad-Reza Sadeghi
,
Garrett Persyn
,
Jeyavijayan Rajendran
,
Patrick Jauernig
,
Rahul Kande
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities.
CoRR
(2022)
Rahul Kande
,
Addison Crump
,
Garrett Persyn
,
Patrick Jauernig
,
Ahmad-Reza Sadeghi
,
Aakash Tyagi
,
Jeyavijayan Rajendran
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities.
USENIX Security Symposium
(2022)
Aakash Tyagi
,
Magdy A. Bayoumi
Systolic array implementation of image segmentation by a directed split and merge procedure.
ICPR (2)
(1990)