Live Happy
sUbHaNkAr MuKhErJeE
Navigate
Hi, this is Subhankar. I completed my graduation from Indian Institute of Technology Kharagpur (2003-2008) under Dual Degree Program (5-year integrated B.Tech + M.Tech) in Electrical Enginnering.
Currently I am pursuing my Ph.D from the Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur (July, 2008 - Present).
"Our greatest glory is not in never falling, but in rising every time we fall ..."
Journals
1. Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions - Subhankar Mukherjee, Pallab Dasgupta and Siddhartha Mukhopadhyay, in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume-30, No-10. [link]
2. Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice - Subhankar Mukherjee, Pallab Dasgupta and Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran, accepted for publication in ACM Transactions on Design Automation of Electronic Systems.
3. Post-Silicon Debugging of PMU Integration Errors using Behavioral Models - Antara Ain, Subhankar Mukherjee, Pallab Dasgupta and Siddhartha Mukhopadhyay, in Integration: The VLSI Journal, Elsevier. [link]
4. Assertion Aware Sampling Refinement: A Mixed-Signal Perspective - Subhankar Mukherjee and Pallab Dasgupta, accepted for publication in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
5. Computing Minimal Debugging Windows in Failure Traces of AMS Assertions - Subhankar Mukherjee and Pallab Dasgupta, accepted for publication in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Conferences / Workshops
1. Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions - Subhankar Mukherjee and Pallab Dasgupta, in proceedings of International Conference on VLSI Design, 2011. [link]
2. Incorporating Local Variables in Mixed-Signal Assertions - Subhankar Mukherjee and Pallab Dasgupta, in proceedings of IEEE TENCON, 2009. [link]
3. Assertion-Based Verification of Mixed-Signal Behaviors with Sampling Clock - Subhankar Mukherjee, Subrat K. Panda and Pallab Dasgupta, in proceedings of SNUG India, 2009. [link]
4. A Formal Approach for Specification Driven AMS Behavioral Model Generation - Subhankar Mukherjee, Antara Ain, Subrat K. Panda, Rajdeep Mukhopadhyay and Pallab Dasgupta, in proceedings of IEEE Design Automation and Test in Europe, 2009. [link]