Compacting test vector sets via strategic use of implications.

Nuno Alves, Jennifer Dworak, R. Iris Bahar, Kundan Nepal

Browse the full ICCAD paper archive.