Post-silicon fault localisation using maximum satisfiability and backbones.

Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik

Browse the full FMCAD paper archive.