1

"Method and data processing system for testing circuits using boolean differences"
Inventors : Sungho Kang, Underwood, Law, H. Konuk
Patent Number : 5517506, Issue Date : 1996.05.14