用vivado仿真添加rtl时导致编译不通过如何解决？

用VCS仿真没问题，用vivado仿真时添加rtl时就出现错误；
出错在rtl里断言语法上（assert property），这会导致编译不通过；该如何解决？