Items where Author is "Mitra, Srobona"

Article

Mitra, Srobona ; Banerjee, Ansuman ; Dasgupta, Pallab ; Kumar, Harish (2013) Counterexample ranking using mined invariants IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 32 (12). pp. 1978-1991. ISSN 0278-0070

Mitra, Srobona ; Banerjee, Ansuman ; Dasgupta, Pallab ; Ghosh, Priyankar ; Kumar, Harish (2013) Formal guarantees for localized bug fixes IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 32 (8). pp. 1274-1287. ISSN 0278-0070

Conference or Workshop Item

Komuravelli, Anvesh ; Mitra, Srobona ; Banerjee, Ansuman ; Dasgupta, Pallab (2011) Backward reasoning with formal properties: a methodology for bug isolation on simulation traces In: 2011 Asian Test Symposium, 20-23 November 2011, New Delhi, India.

Hazra, Aritra ; Mitra, Srobona ; Dasgupta, Pallab ; Pal, Ajit ; Bagchi, Debabrata ; Guha, Kaustav (2010) Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent In: 2010 47th ACM/IEEE Design Automation Conference (DAC), 13-18 June 2010, Anaheim, CA, USA.

Mitra, Srobona ; Ain, Antara ; Ghosh, Priyankar ; Dasgupta, Pallab (2010) A study of modeling techniques in use in digital and mixed-signal domains for semi-formal verification In: 2010 IEEE Students Technology Symposium (TechSym), 3-4 April 2010, IIT Kharagpur, West Bengal, India.

Mitra, Srobona ; Ghosh, Priyankar ; Dasgupta, Pallab ; Chakrabarti, Partha P. (2009) Incremental verification techniques for an updated architectural specification In: 2009 Annual IEEE India Conference, 18-20 December 2009, Gandhinagar, Gujarat, India.