Follow
Sudipa Mandal
Sudipa Mandal
Ph.D student of Computer Science and Engineering Department, IIT Kharagpur
Verified email at cse.iitkgp.ernet.in - Homepage
Title
Cited by
Cited by
Year
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
102017
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
22020
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
12018
On the Deep Structure of Ragas and Analytic Rating of Music Scores
S Mandal, S Chaudhuri, AAB Costa, G Karambelkar, P Dasgupta
Heritage Preservation, 161-179, 2018
12018
Migrating Assertions from Dense to Discrete Time
S Mandal, P Dasgupta
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021
2021
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
2021
Usage-Driven Personalization of Power Management Logic
S Mandal, A Hazra, P Dasgupta
IEEE Embedded Systems Letters 13 (3), 106-109, 2020
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
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