Sarvesh Prabhu

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 1

Top Topics

Modulo Theories

Diagnostic Reasoning

Statistical Tests

Top Venues

Publications

Sarmad Tanwir, Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan
Information-theoretic and statistical methods of failure log selection for improved diagnosis. ITC (2015)
Sarvesh Prabhu, Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao
A diagnosis-friendly LBIST architecture with property checking. ITC (2014)
Sarvesh Prabhu, Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao
Property-checking based LBIST for improved diagnosability. ETS (2014)
Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram
Test generation for circuits with embedded memories using SMT. ETS (2013)
Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram
A Novel SMT-Based Technique for LFSR Reseeding. VLSI Design (2012)
Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram
A SMT-based diagnostic test generation method for combinational circuits. VTS (2012)
Sarvesh Prabhu, Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan, Vijay Gangaram, Jim Grundy
An Efficient 2-Phase Strategy to Achieve High Branch Coverage. Asian Test Symposium (2011)