Items where Author is "Mukherjee, Rajdeep"

Article

Dasgupta, Pallab ; Srivas, Mandayam K. ; Mukherjee, Rajdeep (2014) Formal hardware/software co-verification of embedded power controllers IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 33 (12). pp. 2025-2029. ISSN 0278-0070

Mukherjee, Rajdeep ; Ghosh, Priyankar ; Dasgupta, Pallab ; Pal, Ajit (2013) An integrated approach for fine-grained power and temperature management during high-level synthesis Journal of Low Power Electronics, 9 (3). pp. 350-362. ISSN 1546-1998

Mukherjee, Rajdeep ; Ghosh, Priyankar ; Dasgupta, Pallab ; Pal, Ajit (2013) A multi-objective perspective for operator scheduling using finegrained DVS architectures International Journal of VLSI Design & Communication Systems, 4 (1). pp. 105-122. ISSN 0976-1527

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

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, Rajdeep ; Ghosh, Priyankar ; Dasgupta, Pallab ; Pal, Ajit (2013) Operator scheduling revisited: a multi-objective perspective for fine-grained DVS architecture In: Second International Conference on Advances in Computing and Information Technology (ACITY), 2012, July 13-15, 2012, Chennai, India.