Sudipa Mandal
Sudipa Mandal
Ph.D student of Computer Science and Engineering Department, IIT Kharagpur
Verified email at - Homepage
Cited by
Cited by
Formal verification of power management logic with mixed-signal domains
S Mandal, AB Da Costa, A Hazra, P Dasgupta, B Naware, RM Chunduri, ...
2017 30th International Conference on VLSI Design and 2017 16th …, 2017
An RL based approach for thermal-aware energy optimized task scheduling in Multi-core processors
S Mandal, K Gaurkar, P Dasgupta, A Hazra
2021 34th international conference on VLSI design and 2021 20th …, 2021
Assertions for protecting mixed-signal latency contracts in power management
S Mandal, P Dasgupta, A Hazra, CR Mohan
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 28 (8 …, 2020
Migrating Assertions From Dense to Discrete Time
S Mandal, P Dasgupta
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2021
Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components
S Mandal, A Hazra, P Dasgupta, RM Chunduri
2018 31st International Conference on VLSI Design and 2018 17th …, 2018
On the Deep Structure of Ragas and Analytic Rating of Music Scores
S Mandal, S Chaudhuri, AAB da Costa, G Karambelkar, P Dasgupta
Heritage Preservation: A Computational Approach, 161-179, 2018
Usage-Driven Personalization of Power Management Logic
S Mandal, A Hazra, P Dasgupta
IEEE Embedded Systems Letters 13 (3), 106-109, 2020
AMS-Miner: Mining AMS Assertions Using Interval Arithmetic
AAB da Costa, S Dharade, S Mandal, P Dasgupta
2018 31st International Conference on VLSI Design and 2018 17th …, 2018
Efficient Exact Response Time Analysis for Fixed Priority Scheduling in Lowest Priority First-Based Feasibility Tests
S Kim, JT Meech, P Stanley-Marbell, T Zhang, M Seo, B Donyanavard, ...
The system can't perform the operation now. Try again later.
Articles 1–9