VLSI Testing and Verification