Items where Author is "Mukherjee, Subhankar"

Article

Hazra, Aritra ; Mukherjee, Rajdeep ; Dasgupta, Pallab ; Pal, Ajit ; Harer, Kevin M. ; Banerjee, Ansuman ; Mukherjee, Subhankar (2013) POWER-TRUCTOR: an integrated tool flow for formal verification and coverage of architectural power intent IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 32 (11). pp. 1801-1813. ISSN 0278-0070

Ain, Antara ; Mukherjee, Subhankar ; Dasgupta, Pallab ; Mukhopadhyay, Siddhartha (2013) Post-silicon debugging of PMU integration errors using behavioral models Integration, the VLSI Journal, 46 (3). pp. 310-321. ISSN 0167-9260

Mukherjee, Subhankar ; Dasgupta, Pallab (2013) A fuzzy real-time temporal logic International Journal of Approximate Reasoning, 54 (9). pp. 1452-1470. ISSN 0888-613X

Mukherjee, Subhankar ; Dasgupta, Pallab (2012) Assertion aware sampling refinement: a mixed-signal perspective IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 31 (11). pp. 1772-1776. ISSN 0278-0070

Mukherjee, Subhankar ; Dasgupta, Pallab (2012) Computing minimal debugging windows in failure traces of AMS assertions IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 31 (11). pp. 1776-1781. ISSN 0278-0070

Mukherjee, Subhankar ; Dasgupta, Pallab ; Mukhopadhyay, Siddhartha ; Little, Scott ; Havlicek, John ; Chandrasekaran, Srikanth (2012) Synchronizing AMS Assertions with AMS Simulation: from theory to practice ACM Transactions on Design Automation of Electronic Systems, 17 (4). pp. 1-25. ISSN 1084-4309

Mukherjee, Subhankar ; Dasgupta, Pallab ; Mukhopadhyay, Siddhartha (2011) Auxiliary specifications for context-sensitive monitoring of AMS assertions IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 30 (10). pp. 1446-1457. ISSN 0278-0070

Conference or Workshop Item

Mukherjee, Rajdeep ; Dasgupta, Pallab ; Pal, Ajit ; Mukherjee, Subhankar (2013) Formal verification of hardware/software power management strategies In: 2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems (VLSID), 5-10 January 2013, Pune, India.

Mukherjee, Rajdeep ; Mukherjee, Subhankar ; Dasgupta, Pallab (2013) Model checking of global power management strategies in software with temporal logic properties In: 6th India Software Engineering Conference - ISEC 2013, 21-23 February 2013, New Delhi, India.

Mukherjee, Subhankar ; Dasgupta, Pallab (2009) Incorporating local variables in mixed-signal assertions In: TENCON 2009 - 2009 IEEE Region 10 Conference, 23-26 January 2009, Singapore.

Mukherjee, Subhankar ; Ain, Antara ; Panda, S. K. ; Mukhopadhyay, Rajdeep ; Dasgupta, Pallab (2009) A formal approach for specification-driven AMS behavioral model generation In: 2009 Design, Automation & Test in Europe Conference & Exhibition, 20-24 April 2009, Nice, France.