A BDD Based Algorithm for Detecting Difficult Faults.

Cristiana Bolchini, Franco Fummi, R. Gemelli, Fabio Salice

Browse the full ISCAS paper archive.