Generation of shorter sequences for high resolution error diagnosis using sequential SAT.

Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng, John Moondanos, Ziyad Hanna

Browse the full ASPDAC paper archive.