On Incorporation of BIST for the Synthesis of Easily and Fully Testable Controllers. - Chunduri Rama Mohan; Srobona Mitra; Partha Pal Chaudhuri (VLSI Design, 1997)

Battery-aware code partitioning for a text to speech system. - Anirban Lahiri; Anupam Basu; Monojit Choudhury; Srobona Mitra (DATE, 2006)

Cohesive Coverage Management for Simulation and Formal Property Verification. - Aritra Hazra; Ansuman Banerjee; Srobona Mitra; Pallab Dasgupta; Partha Pratim Chakrabarti; Chunduri Rama Mohan (ISVLSI, 2008)

Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent. - Aritra Hazra; Srobona Mitra; Pallab Dasgupta; Ajit Pal; Debabrata Bagchi; Kaustav Guha (DAC, 2010)

Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. - Anvesh Komuravelli; Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta (Asian Test Symposium, 2011)

Formal methods for ranking counterexamples through assumption mining. - Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta (DATE, 2012)

Verification by parts: reusing component invariant checking results. - Srobona Mitra; Priyankar Ghosh; Pallab Dasgupta (IET Comput. Digit. Tech., 2012)

Formal Guarantees for Localized Bug Fixes. - Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta; Priyankar Ghosh; Harish Kumar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Counterexample Ranking Using Mined Invariants. - Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta; Harish Kumar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)