팔로우
Subhankar Mukherjee
Subhankar Mukherjee
Software Architect, Cadence Design Systems, Inc.
cadence.com의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
152013
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
152013
A fuzzy real-time temporal logic
S Mukherjee, P Dasgupta
International journal of approximate reasoning 54 (9), 1452-1470, 2013
142013
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
142012
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
142011
Incorporating local variables in mixed-signal assertions
S Mukherjee, P Dasgupta
TENCON 2009-2009 IEEE Region 10 Conference, 1-5, 2009
92009
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
82012
Assertion aware sampling refinement: A mixed-signal perspective
S Mukherjee, P Dasgupta
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012
62012
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
52011
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
42017
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
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
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
12013
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–17