difference between testing and verification in vlsi