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)

Branch guided functional test generation at the RTL. - Vineeth V. Acharya; Sharad Bagri; Michael S. Hsiao (ETS, 2015)