ACMU Projects

Test

Ongoing Projects

 

Formal Verification Methods of Cache Coherence Protocols 

Duration: 01-Feb-2023 - 31-Jan-2024
PI: Prof. Ansuman Banerjee
Funding Agency: Thales India Pvt. Ltd., Bangalore

 

Machine Learning and Formal Verification Joining Hands 

Duration: 01-Dec-2022 - 30-Nov-20225
PI: Prof. Susmita SurKolay
Funding Agency: IBM, USA

 

Towards Fourier Entropy Influence 

Duration: 2022-2025
PI: Dr. Sourav Chakraborty
Funding Agency: Science and Engineering Research Board (SERB), Government of India

 

An Efficient Framework for Ensuring Security of FPGA-Based Environment 

Duration: 2019-2022
PI: Prof. Susmita SurKolay
Funding Agency: Science and Engineering Research Board (SERB), Government of India

 

United Software Defined Architecture for Industrial Internet-of-things 

Duration: 2019-2022
PI: Prof. Subhas C. Nandy
co-PI: Prof. Bhargab B. Bhattacharya, IIT Kharagpur
Funding Agency: Science and Engineering Research Board (SERB), Government of India

 


Design for Manufacturability Aware Global Routing 

Duration: 2009 -
PI: Prof. Susmita SurKolay
Funding Agency: IBM, USA

     

    Completed Projects
     

    Automated Methods for Implementing Robust and Secured Biochemical Assays with Microfluidic Lab-on-chip 
    Duration: 2018-2021
    PI: Dr. Ansuman Banerjee
    co-PI: Prof. Bhargab B. Bhattacharya, IIT Kharagpur
    Funding Agency: Science and Engineering Research Board (SERB), Government of India


     

    An assertion based verification framework for model driven design flows   
    Duration: 2019-2021
    PI: Dr. Ansuman Banerjee
    Funding Agency: Research Center Imarat (RCI), DRDO, Govt. of India

     

    Ramanujan Fellowship

    Duration: 2016-2021
    PI: Dr. Arijit Ghosh
    Funding Agency: Science and Engineering Research Board (SERB), Government of India

     


    National Post-Doctoral Fellowship
    Duration: 2019-2022
    PI: Dr. Anup Bhattacharya
    Funding Agency: Science and Engineering Research Board (SERB), Government of India