Debjit Pal

According to our database, Debjit Pal authored at least 27 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ARISTOTLE: Feature Engineering for Scalable Application-Level Post-Silicon Debugging.

Debjit Pal, Shobha Vasudevan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2024

SCAR: Power Side-Channel Analysis at RTL Level.

Amisha Srivastava, Sanjay Das, Navnil Choudhury, Rafail Psiakis, Pedro Henrique Silva, Debjit Pal, Kanad Basu

IEEE Trans. Very Large Scale Integr. Syst., June, 2024

Cross-diffusion mediated Spatiotemporal patterns in a predator-prey system with hunting cooperation and fear effect.

Debjit Pal, Dipak Kesh, Debasis Mukherjee

Math. Comput. Simul., 2024

AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation.

Vaishnavi Pulavarthi, Deeksha Nandal, Soham Dan, Debjit Pal

CoRR, 2024

Hopf bifurcation and patterns formation in a diffusive two prey-one predator system with fear in preys and help.

Debjit Pal, Santu Ghorai, Dipak Kesh, Debasis Mukherjee

Appl. Math. Comput., 2024

Prioritizing Information Flow Violations: Generation of Ranked Security Assertions for Hardware Designs.

Avinash Ayalasomayajula, Nusrat Farzana, Debjit Pal, Farimah Farahmandi

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2024

DETECTive: Machine Learning-driven Automatic Test Pattern Prediction for Faults in Digital Circuits.

Vincenzo Petrolo, Sourav Medya, Mariagrazia Graziano, Debjit Pal

Proceedings of the Great Lakes Symposium on VLSI 2024, 2024

Formal Verification of Source-to-Source Transformations for HLS.

Louis-Noël Pouchet, Emily Tucker, Niansong Zhang, Hongzheng Chen, Debjit Pal, Gabriel Rodríguez, Zhiru Zhang

Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2024

VeriBug: An Attention-Based Framework for Bug Localization in Hardware Designs.

Giuseppe Stracquadanio, Sourav Medya, Stefano Quer, Debjit Pal

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

FCCM 2023 PhD Student Forum Compendium of Abstracts: Held on 9th May, 2023, at Los Angeles, USA.

Debjit Pal

Proceedings of the 31st IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2023

2022

HeteroFlow: An Accelerator Programming Model with Decoupled Data Placement for Software-Defined FPGAs.

Shaojie Xiang, Yi-Hsiang Lai, Yuan Zhou, Hongzheng Chen, Niansong Zhang, Debjit Pal, Zhiru Zhang

Proceedings of the FPGA '22: The 2022 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Virtual Event, USA, 27 February 2022, 2022

Accelerator design with decoupled hardware customizations: benefits and challenges: invited.

Debjit Pal, Yi-Hsiang Lai, Shaojie Xiang, Niansong Zhang, Hongzheng Chen, Jeremy Casas, Pasquale Cocchini, Zhenkun Yang, Jin Yang, Louis-Noël Pouchet, Zhiru Zhang

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Feature Engineering for Scalable Application-Level Post-Silicon Debugging.

Debjit Pal, Shobha Vasudevan

CoRR, 2021

GLAIVE: Graph Learning Assisted Instruction Vulnerability Estimation.

Jiajia Jiao, Debjit Pal, Chenhui Deng, Zhiru Zhang

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Assertion Ranking Using RTL Source Code Analysis.

Debjit Pal, Spencer Offenberger, Shobha Vasudevan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Emphasizing Functional Relevance Over State Restoration in Post-Silicon Signal Tracing.

Debjit Pal, Sai Ma, Shobha Vasudevan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Accurate Operation Delay Prediction for FPGA HLS Using Graph Neural Networks.

Ecenur Ustun, Chenhui Deng, Debjit Pal, Zhijing Li, Zhiru Zhang

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

2019

Scalable functional validation of next generation SoCs

Debjit Pal

PhD thesis, 2019

A figure of merit for assertions in verification.

Samuel Hertz, Debjit Pal, Spencer Offenberger, Shobha Vasudevan

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018

Application level hardware tracing for scaling post-silicon debug.

Debjit Pal, Abhishek Sharma, Sandip Ray, Flavio M. de Paula, Shobha Vasudevan

Proceedings of the 55th Annual Design Automation Conference, 2018

A cloud based autonomous multipurpose system with self-communicating bots and swarm of drones.

Himadri Nath Saha, Nisith K. Das, Susanta K. Pal, Srijita Basu, Supratim Auddy, Ratul Dey, Arnab Nandy, Debjit Pal, Nirjhar Roy, Dipanjan Mitra, Saunak Biswas, Tamanna Maity

Proceedings of the IEEE 8th Annual Computing and Communication Workshop and Conference, 2018

A low cost fully autonomous GPS (Global Positioning System) based quad copter for disaster management.

Himadri Nath Saha, Srijita Basu, Supratim Auddy, Ratul Dey, Arnab Nandy, Debjit Pal, Nirjhar Roy, Subhadeep Jasu, Ankita Saha, Soummyo Priyo Chattopadhyay, Tamanna Maity

Proceedings of the IEEE 8th Annual Computing and Communication Workshop and Conference, 2018

2016

Symptomatic Bug Localization for Functional Debug of Hardware Designs.

Debjit Pal, Shobha Vasudevan

Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

2015

Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection.

Sai Ma, Debjit Pal, Rui Jiang, Sandip Ray, Shobha Vasudevan

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

2013

Using automatically generated invariants for regression testing and bug localization.

Parth Sagdeo, Nicholas Ewalt, Debjit Pal, Shobha Vasudevan

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

A Library for Passive Online Verification of Analog and Mixed-Signal Circuits.

Debjit Pal, Pallab Dasgupta, Siddhartha Mukhopadhyay

Proceedings of the 25th International Conference on VLSI Design, 2012

2011

Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models.

Antara Ain, Debjit Pal, Pallab Dasgupta, Siddhartha Mukhopadhyay, Rajdeep Mukhopadhyay, John Gough

ACM Trans. Design Autom. Electr. Syst., 2011