Identification of Effective Guidance Hints for Better Design Debugging by Formal Methods. - V. S. Vineesh; Binod Kumar 001; Jay Adhaduk (VDAT, 2019)

A Methodology to Capture Fine-Grained Internal Visibility During Multisession Silicon Debug. - Binod Kumar 001; Jay Adhaduk; Kanad Basu; Masahiro Fujita; Virendra Singh (IEEE Trans. Very Large Scale Integr. Syst., 2020)