Finding False Paths for Sequential Circuits Using Operations on ROBDDs.

Anzhela Yu. Matrosova, Sergei Ostanin, Semen Chernyshov

Browse the full IOLTS paper archive.