C2rtl_在GPU验证中的应用