Smart diagnostics for configurable processor verification. - Sadik Ezer; Scott Johnson (DAC, 2005)