Sudipa Mandal

According to our database, Sudipa Mandal authored at least 8 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Migrating Assertions From Dense to Discrete Time.

Sudipa Mandal, Pallab Dasgupta

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

2021

Usage-Driven Personalization of Power Management Logic.

Sudipa Mandal, Aritra Hazra, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2021

An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors.

Sudipa Mandal, Krushna Gaurkar, Pallab Dasgupta, Aritra Hazra

Proceedings of the 34th International Conference on VLSI Design and 20th International Conference on Embedded Systems, 2021

2020

Assertions for Protecting Mixed-Signal Latency Contracts in Power Management.

Sudipa Mandal, Pallab Dasgupta, Aritra Hazra, Chunduri Rama Mohan

IEEE Trans. Very Large Scale Integr. Syst., 2020

2018

Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components.

Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan

Proceedings of the 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, 2018

AMS-Miner: Mining AMS Assertions Using Interval Arithmetic.

Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta

Proceedings of the 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, 2018

On the Deep Structure of Ragas and Analytic Rating of Music Scores.

Sudipa Mandal, Shilpi Chaudhuri, Antonio Anastasio Bruto da Costa, Gouri Karambelkar, Pallab Dasgupta

Proceedings of the Heritage Preservation - A Computational Approach, 2018

2017

Formal Verification of Power Management Logic with Mixed-Signal Domains.

Sudipa Mandal, Antonio Anastasio Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan, Sanjib Basu

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017