Sudipa Mandal
Sudipa Mandal
Ph.D student of Computer Science and Engineering Department, IIT Kharagpur
Geverifieerd e-mailadres voor cse.iitkgp.ernet.in
Titel
Geciteerd door
Geciteerd door
Jaar
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
32017
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
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
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, 161-179, 2018
2018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4