Boolean algebraic test generation using a distributed system.

Debashis Bhattacharya, Prathima Agrawal

Browse the full ICCAD paper archive.