A robust algorithm for approximate compatible observability don't care (CODC) computation.

Nikhil Saluja, Sunil P. Khatri

Browse the full DAC paper archive.