Sharad Bagri

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Fault Diagnosis

Layered Architecture

Model Based Diagnosis

Mutation Testing

Top Venues

Publications

Sharad Bagri, Kelson Gent, Michael S. Hsiao
Signal domain based reachability analysis in RTL circuits. ISQED (2015)
Vineeth V. Acharya, Sharad Bagri, Michael S. Hsiao
Branch guided functional test generation at the RTL. ETS (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)