![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Debjit Pal
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j6]Debjit Pal, Santu Ghorai, Dipak Kesh, Debasis Mukherjee
:
Hopf bifurcation and patterns formation in a diffusive two prey-one predator system with fear in preys and help. Appl. Math. Comput. 481: 128927 (2024) - [j5]Debjit Pal, Dipak Kesh, Debasis Mukherjee
:
Cross-diffusion mediated Spatiotemporal patterns in a predator-prey system with hunting cooperation and fear effect. Math. Comput. Simul. 220: 128-147 (2024) - [j4]Amisha Srivastava
, Sanjay Das
, Navnil Choudhury
, Rafail Psiakis
, Pedro Henrique Silva
, Debjit Pal
, Kanad Basu
:
SCAR: Power Side-Channel Analysis at RTL Level. IEEE Trans. Very Large Scale Integr. Syst. 32(6): 1110-1123 (2024) - [c17]Giuseppe Stracquadanio, Sourav Medya, Stefano Quer, Debjit Pal:
VeriBug: An Attention-Based Framework for Bug Localization in Hardware Designs. DATE 2024: 1-2 - [c16]Louis-Noël Pouchet
, Emily Tucker
, Niansong Zhang
, Hongzheng Chen
, Debjit Pal
, Gabriel Rodríguez
, Zhiru Zhang
:
Formal Verification of Source-to-Source Transformations for HLS. FPGA 2024: 97-107 - [c15]Vincenzo Petrolo
, Sourav Medya
, Mariagrazia Graziano
, Debjit Pal
:
DETECTive: Machine Learning-driven Automatic Test Pattern Prediction for Faults in Digital Circuits. ACM Great Lakes Symposium on VLSI 2024: 32-37 - [c14]Avinash Ayalasomayajula, Nusrat Farzana, Debjit Pal, Farimah Farahmandi:
Prioritizing Information Flow Violations: Generation of Ranked Security Assertions for Hardware Designs. HOST 2024: 128-138 - [i4]Giuseppe Stracquadanio, Sourav Medya, Stefano Quer, Debjit Pal:
VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs. CoRR abs/2401.09494 (2024) - [i3]Vaishnavi Pulavarthi, Deeksha Nandal, Soham Dan, Debjit Pal:
AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation. CoRR abs/2406.18627 (2024) - 2023
- [c13]Debjit Pal:
FCCM 2023 PhD Student Forum Compendium of Abstracts: Held on 9th May, 2023, at Los Angeles, USA. FCCM 2023: 228-229 - [i2]Amisha Srivastava, Sanjay Das, Navnil Choudhury, Rafail Psiakis, Pedro Henrique Silva, Debjit Pal, Kanad Basu:
SCAR: Power Side-Channel Analysis at RTL-Level. CoRR abs/2310.06257 (2023) - 2022
- [c12]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:
Accelerator design with decoupled hardware customizations: benefits and challenges: invited. DAC 2022: 1351-1354 - [c11]Shaojie Xiang, Yi-Hsiang Lai, Yuan Zhou, Hongzheng Chen
, Niansong Zhang
, Debjit Pal, Zhiru Zhang:
HeteroFlow: An Accelerator Programming Model with Decoupled Data Placement for Software-Defined FPGAs. FPGA 2022: 78-88 - 2021
- [c10]Jiajia Jiao, Debjit Pal
, Chenhui Deng, Zhiru Zhang
:
GLAIVE: Graph Learning Assisted Instruction Vulnerability Estimation. DATE 2021: 82-87 - [i1]Debjit Pal, Shobha Vasudevan:
Feature Engineering for Scalable Application-Level Post-Silicon Debugging. CoRR abs/2102.04554 (2021) - 2020
- [j3]Debjit Pal
, Sai Ma, Shobha Vasudevan
:
Emphasizing Functional Relevance Over State Restoration in Post-Silicon Signal Tracing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(2): 533-546 (2020) - [j2]Debjit Pal
, Spencer Offenberger, Shobha Vasudevan
:
Assertion Ranking Using RTL Source Code Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(8): 1711-1724 (2020) - [c9]Ecenur Ustun, Chenhui Deng, Debjit Pal
, Zhijing Li, Zhiru Zhang
:
Accurate Operation Delay Prediction for FPGA HLS Using Graph Neural Networks. ICCAD 2020: 87:1-87:9
2010 – 2019
- 2019
- [b1]Debjit Pal:
Scalable functional validation of next generation SoCs. University of Illinois Urbana-Champaign, USA, 2019 - [c8]Samuel Hertz, Debjit Pal
, Spencer Offenberger, Shobha Vasudevan:
A figure of merit for assertions in verification. ASP-DAC 2019: 675-680 - 2018
- [c7]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:
A cloud based autonomous multipurpose system with self-communicating bots and swarm of drones. CCWC 2018: 649-653 - [c6]Himadri Nath Saha, Srijita Basu, Supratim Auddy, Ratul Dey, Arnab Nandy, Debjit Pal
, Nirjhar Roy, Subhadeep Jasu, Ankita Saha, Soummyo Priyo Chattopadhyay, Tamanna Maity:
A low cost fully autonomous GPS (Global Positioning System) based quad copter for disaster management. CCWC 2018: 654-660 - [c5]Debjit Pal
, Abhishek Sharma, Sandip Ray, Flavio M. de Paula, Shobha Vasudevan:
Application level hardware tracing for scaling post-silicon debug. DAC 2018: 92:1-92:6 - 2016
- [c4]Debjit Pal
, Shobha Vasudevan:
Symptomatic Bug Localization for Functional Debug of Hardware Designs. VLSID 2016: 517-522 - 2015
- [c3]Sai Ma, Debjit Pal
, Rui Jiang, Sandip Ray, Shobha Vasudevan:
Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection. ICCAD 2015: 1-8 - 2013
- [c2]Parth Sagdeo, Nicholas Ewalt, Debjit Pal
, Shobha Vasudevan:
Using automatically generated invariants for regression testing and bug localization. ASE 2013: 634-639 - 2012
- [c1]Debjit Pal
, Pallab Dasgupta, Siddhartha Mukhopadhyay:
A Library for Passive Online Verification of Analog and Mixed-Signal Circuits. VLSI Design 2012: 364-369 - 2011
- [j1]Antara Ain, Debjit Pal
, Pallab Dasgupta, Siddhartha Mukhopadhyay, Rajdeep Mukhopadhyay, John Gough:
Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models. ACM Trans. Design Autom. Electr. Syst. 16(3): 33:1-33:30 (2011)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-23 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint