| 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 | 10 | 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 | 3 | 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 | 2 | 2020 |
| Migrating Assertions From Dense to Discrete Time S Mandal, P Dasgupta IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2021 | 1 | 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 | 1 | 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 | 1 | 2018 |
| 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, ... | | |
Pallab DasguptaIndian Institute of Technology KharagpurDirección de correo verificada de cse.iitkgp.ac.in