COLLABORATIONS AND PARTNERS
AI4ICPS, or Artificial Intelligence for Interdisciplinary Cyber-Physical Systems, is an initiative by IIT Kharagpur that aims to transform India into a smart industry hub. It focuses on the scalable application of AI and Machine Learning (ML) in Cyber-Physical Systems (CPS) as part of the National Mission on Interdisciplinary Cyber-Physical Systems (NM-ICPS). The collaboration involves
Synopsys, Inc. and IIT Kharagpur AI4ICPS I-Hub Foundation have signed an agreement with designated aspects relating to the AI4ICPS’s translational research project entitled “Safe Reinforcement Learning for Neural Network-Controlled Autonomous CPS”
Tool Name: VC Formal (This is a portfolio of Tools ) Monetary Value: $5.5 Million (Based on 2 VC Formal Elite and 2 DPV Elite licenses) DPV is the formal transactional equivalence checker working across C and RTL. This is the tool which will aim to prove equivalence between control code and AI models coded in C. It might be prudent to just say more than $5 million worth of tool licenses, including VC Formal Elite and DPV Elite. This will allow us to add more tools as necessary.