Tautology Checking Using Cross-Controllability and Cross-Observability Relations.

Eduard Cerny, C. Mauras

Browse the full ICCAD paper archive.