Surajit Das

Employment

• IIT Guwahati Technology Innovation and Development Foundation Faculty Fellow
  2023 - Present

Education

• IIT Guwahati Post Doctoral Research Associate
  2022 - 2023

Projects & Funding

Projects & funding information is unavailable.

Publications (4)

• Developing Deadlock-Free Routing Algorithms in Torus NoC: A Formal Approach
  ACM Transactions on Embedded Computing Systems 2025 DOI: 10.1145/3762650
  +Save
• Arc Model and DDG: Deadlock Avoidance and Detection in Torus NoC
  IEEE Embedded Systems Letters 2022 DOI: 10.1109/LES.2021.3113355
  +Save
• Accelerating NoC Verification Using a Complete Model and Active Window
  IEEE Access 2022 DOI: 10.1109/ACCESS.2022.3199671
  +Save
• Formal Modeling of Network-on-Chip Using CFSM and its Application in Detecting Deadlock
  IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2020 DOI: 10.1109/TVLSI.2019.2959618
  +Save