Toward Verification Closure from industrial perspective Yu-Chin Hsu Vice President, R&D, Logic Verification Group.