A Novel Functional Testing and Verification Technique for Logic Circuits. - Hussain Al-Asaad; Ganesh Valliappan; Lourdes Ramirez (CDES, 2005)