Elective-II b) Testing Verification of VLSI Design