Satisfiability-Based Analysis of Failing Traces during Post-silicon Debug. - Amin Vali; Nicola Nicolici (NATW, 2015)

Bit-Flip Detection-Driven Selection of Trace Signals. - Amin Vali; Nicola Nicolici (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)