Publications

Debjit Pal, Shobha Vasudevan (2021). Feature Engineering for Scalable Application-Level Post-Silicon Debugging. ArXiv-CoRR-Abs.

PDF Cite

Jiajia Jiao, Debjit Pal, Chenhui Deng, Zhiru Zhang (2021). GLAIVE: Graph Learning Assisted Instruction Vulnerability Estimation. IEEE Design Automation and Test in Europe.

PDF Cite DOI

Ecenur Ustun, Chenhui Deng, Debjit Pal, Zhijing Li, Zhiru Zhang (2020). Accurate Operation Delay Prediction for FPGA HLS Using Graph Neural Networks. IEEE/ACM International Conference On Computer Aided Design (ICCAD).

PDF Cite DOI

Debjit Pal, Sai Ma, Shobha Vasudevan (2020). Emphasizing Functional Relevance Over State Restoration in Post-Silicon Signal Tracing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst (TCAD).

PDF Cite DOI

Debjit Pal, Spencer Offerberger, Shobha Vasudevan (2020). Assertion Ranking Using RTL Source Code Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (TCAD).

PDF Cite DOI

Samuel Hertz, Debjit Pal, Spencer Offernberger, Shobha Vasudevan (2019). A figure of merit for assertions in verification. IEEE/ACM Asia and South Pacific Design Automation Conference (ASPDAC).

PDF Cite Code DOI

Debjit Pal, Abhishek Sharma, Sandip Ray, Flavio M. de Paula, Shobha Vasudevan (2018). Application level hardware tracing for scaling post-silicon debug. IEEE/ACM Design Automation Conference.

PDF Cite DOI

Debjit Pal, Shobha Vasudevan (2016). Symptomatic Bug Localization for Functional Debug of Hardware Designs. International Conference on VLSI Design and 15th International Conference on Embedded Systems (VLSID).

PDF Cite DOI

Sai Ma, Debjit Pal, Rui Zhang, Sandip Ray, Shobha Vasudevan (2015). Can't See the Forest for the Trees: State Restoration's Limitations. IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

PDF Cite DOI

Parth Sagdeo, Nicholas Ewalt, Debjit Pal, Shobha Vasudevan (2013). Using automatically generated invariants for regression testing and bug localization. IEEE/ACM International Conference on Automated Software Engineering (ASE).

PDF Cite DOI

Debjit Pal, Siddhartha Mukhopadhyay, Pallab Dasgupta (2012). A Library for Passive Online Verification of Analog and Mixed-Signal Circuits. International Conference on VLSI Design, (VLSID).

PDF Cite DOI

Antara Ain, Debjit Pal, Pallab Dasgupta, Siddhartha Mukhopadhyay, Rajdeep Mukhopadhyay, John Gough (2011). Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models. ACM Trans. Design Autom. Electr. Syst..

PDF Cite DOI