권영진 KAIST 교수팀, 애플 칩 버그 탐지법 개발해 구글 혁신상 수상