1

GLAIVE: Graph Learning Assisted Instruction Vulnerability Estimation
Jiajia Jiao, Debjit Pal, Chenhui Deng, Zhiru Zhang
PDF Cite DOI
Accurate Operation Delay Prediction for FPGA HLS Using Graph Neural Networks
Ecenur Ustun, Chenhui Deng, Debjit Pal, Zhijing Li, Zhiru Zhang
PDF Cite DOI
A figure of merit for assertions in verification
Samuel Hertz, Debjit Pal, Spencer Offernberger, Shobha Vasudevan
PDF Cite Code DOI
Can't See the Forest for the Trees: State Restoration's Limitations
Sai Ma, Debjit Pal, Rui Zhang, Sandip Ray, Shobha Vasudevan
PDF Cite DOI
Using automatically generated invariants for regression testing and bug localization
Parth Sagdeo, Nicholas Ewalt, Debjit Pal, Shobha Vasudevan
PDF Cite DOI
A Library for Passive Online Verification of Analog and Mixed-Signal Circuits
Debjit Pal, Siddhartha Mukhopadhyay, Pallab Dasgupta
PDF Cite DOI