D. Sarkar

An Equivalence-Checking Method for Scheduling Verification in High-Level Synthesis

Chandan Karfa, D. Sarkar, Chittaranjan Mandal et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 67 citations

Computing, Computer Engineering, Computer Science +17

A Formal Verification Method of Scheduling in High-level Synthesis

Chandan Karfa, Chittaranjan Mandal, D. Sarkar et al. · 2006 · 36 citations

Engineering, Computer Engineering, Computer Science +17

Offline signature verification system: a graph neural network based approach

Sourodeep Roy, D. Sarkar, Samir Malakar et al. · Journal of Ambient Intelligence and Humanized Computing · 2021 · 22 citations

Computing, Computer Science, Cybersecurity +14

A theorem prover for verifying iterative programs over integers

D. Sarkar, Sudeshna Sarkar · IEEE Transactions on Software Engineering · 1989 · 15 citations

Computing, Computer Engineering, Computer Science +17

Diagnosability Analysis of Real Time Hybrid Systems

Santosh Biswas, D. Sarkar, Siddhartha Mukhopadhyay et al. · 2006 · 12 citations

Engineering, Computer Science, Systems Engineering +16