Logic verification based on diagnosis techniques.

Andreas G. Veneris, Alexander Smith, Magdy S. Abadir

Browse the full ASPDAC paper archive.