| POWER-TRUCTOR: An integrated tool flow for formal verification and coverage of architectural power intent A Hazra, R Mukherjee, P Dasgupta, A Pal, KM Harer, A Banerjee, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013 | 15 | 2013 |
| Formal verification of hardware/software power management strategies R Mukherjee, P Dasgupta, A Pal, S Mukherjee 2013 26th International Conference on VLSI Design and 2013 12th …, 2013 | 15 | 2013 |
| A fuzzy real-time temporal logic S Mukherjee, P Dasgupta International journal of approximate reasoning 54 (9), 1452-1470, 2013 | 14 | 2013 |
| Synchronizing AMS assertions with AMS simulation: From theory to practice S Mukherjee, P Dasgupta, S Mukhopadhyay, S Little, J Havlicek, ... ACM Transactions on Design Automation of Electronic Systems (TODAES) 17 (4 …, 2012 | 14 | 2012 |
| Auxiliary specifications for context-sensitive monitoring of AMS assertions S Mukherjee, P Dasgupta, S Mukhopadhyay IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2011 | 14 | 2011 |
| Incorporating local variables in mixed-signal assertions S Mukherjee, P Dasgupta TENCON 2009-2009 IEEE Region 10 Conference, 1-5, 2009 | 9 | 2009 |
| Computing minimal debugging windows in failure traces of AMS assertions S Mukherjee, P Dasgupta IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012 | 8 | 2012 |
| Assertion aware sampling refinement: A mixed-signal perspective S Mukherjee, P Dasgupta IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012 | 6 | 2012 |
| Auxiliary state machines and auxiliary functions: Constructs for extending AMS assertions S Mukherjee, P Dasgupta 2011 24th Internatioal Conference on VLSI Design, 52-57, 2011 | 5 | 2011 |
| Methods and systems for customizable clustering of sub-networks for bioinformatics and health care applications S Mukherjee, T Ahn, AS Bopardikar, A Bhaduri, SR Mallavarapu US Patent 9,690,844, 2017 | 4 | 2017 |
| A formal approach for specification-driven AMS behavioral model generation S Mukherjee, A Ain, SK Panda, R Mukhopadhyay, P Dasgupta 2009 Design, Automation & Test in Europe Conference & Exhibition, 1512-1517, 2009 | 2 | 2009 |
| Estimating functional coupling between cancer gene sub-networks using novel interaction measures RS Mallavarapu, TJ Ahn, S Mukherjee, AS Bopardikar, G Agarwal, T Park International Journal of Data Mining and Bioinformatics 15 (1), 10-21, 2016 | 1 | 2016 |
| Estimating cancer gene pathway proximity using network interaction RS Mallavarapu, TJ Ahn, S Mukherjee, AS Bopardikar, G Agarwal, T Park 2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2014 | 1 | 2014 |
| Method and apparatus for analyzing gene information for treatment selection T Ahn, S Mukherjee, SJ Hong, RS Mallavarapu, D Son, C Lee, ... US Patent App. 13/896,079, 2014 | 1 | 2014 |
| Model checking of global power management strategies in software with temporal logic properties R Mukherjee, S Mukherjee, P Dasgupta Proceedings of the 6th India Software Engineering Conference, 29-34, 2013 | 1 | 2013 |
| Post-silicon debugging of PMU integration errors using behavioral models A Ain, S Mukherjee, P Dasgupta, S Mukhopadhyay Integration 46 (3), 310-321, 2013 | | 2013 |
| Assertions: From a mixed-signal perspective S Mukherjee Indian Institute of Technology Kharagpur, india, 2012 | | 2012 |
Pallab DasguptaIndian Institute of Technology Kharagpurcse.iitkgp.ac.in의 이메일 확인됨
