Profile Details

Title: Accelerating NoC Verification Using a Complete Model and Active Window

Journal: IEEE Access

ISSN: 2169-3536

Volume (issue): 10 (2)

Language: English

DOI: 10.1109/ACCESS.2022.3199671

Publisher: IEEE.

Surajit Das, Chandan Karfa and Santosh Biswas

Title: Arc Model and DDG: Deadlock Avoidance and Detection in Torus NoC

Journal: IEEE Embedded Systems Letters

ISSN: 1943-0663

Volume (issue): 14 (2)

Language: English

DOI: 10.1109/LES.2021.3113355

Publisher: IEEE.

Surajit Das and Chandan Karfa

Title: Formal Modeling of Network-on-Chip Using CFSM and its Application in Detecting Deadlock

Journal: IEEE Transactions on Very Large Scale Integration Systems (TVLSI)

ISSN: 1557-9999

Volume (issue): 28 (4)

Language: English

DOI: 10.1109/TVLSI.2019.2959618

Publisher: IEEE.

Surajit Das, Chandan Karfa and Santosh Biswas

Title: Developing Deadlock-Free Routing Algorithms in Torus NoC: A Formal Approach

Journal: ACM Transaction on Embedded Computing Systems

ISSN: 1539-9087

Volume (issue): 24 (113)

Language: English

DOI: 10.1145/3762650

Publisher: ACM.

Surajit Das, Abhijit Das, and Chandan Karfa