An Efficient 2-Phase Strategy to Achieve High Branch Coverage. - Sarvesh Prabhu; Michael S. Hsiao; Saparya Krishnamoorthy; Loganathan Lingappan; Vijay Gangaram; Jim Grundy (Asian Test Symposium, 2011)

A Novel SMT-Based Technique for LFSR Reseeding. - Sarvesh Prabhu; Michael S. Hsiao; Loganathan Lingappan; Vijay Gangaram (VLSI Design, 2012)

A SMT-based diagnostic test generation method for combinational circuits. - Sarvesh Prabhu; Michael S. Hsiao; Loganathan Lingappan; Vijay Gangaram (VTS, 2012)

Test generation for circuits with embedded memories using SMT. - Sarvesh Prabhu; Michael S. Hsiao; Loganathan Lingappan; Vijay Gangaram (ETS, 2013)

Property-checking based LBIST for improved diagnosability. - Sarvesh Prabhu; Vineeth V. Acharya; Sharad Bagri; Michael S. Hsiao (ETS, 2014)

A diagnosis-friendly LBIST architecture with property checking. - Sarvesh Prabhu; Vineeth V. Acharya; Sharad Bagri; Michael S. Hsiao (ITC, 2014)

Information-theoretic and statistical methods of failure log selection for improved diagnosis. - Sarmad Tanwir; Sarvesh Prabhu; Michael S. Hsiao; Loganathan Lingappan (ITC, 2015)

Techniques for Enhancing Test and Diagnosis of Digital Circuits. - Sarvesh Prabhu (2015)