Subhankar Mukherjee
Subhankar Mukherjee
R & D Software Engineer
Verified email at cadence.com - Homepage
Title
Cited by
Cited by
Year
A fuzzy real-time temporal logic
S Mukherjee, P Dasgupta
International journal of approximate reasoning 54 (9), 1452-1470, 2013
142013
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
122013
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
122013
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
112012
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
112011
Incorporating local variables in mixed-signal assertions
S Mukherjee, P Dasgupta
TENCON 2009-2009 IEEE Region 10 Conference, 1-5, 2009
62009
Assertion aware sampling refinement: A mixed-signal perspective
S Mukherjee, P Dasgupta
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012
52012
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
42012
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
32011
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
22009
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
12017
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
12016
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
12014
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
12014
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
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
2013
Assertions: From a Mixed-Signal Prespective
S Mukherjee
IIT Kharagpur, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–17