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