蜂鸟E203移植ZYNQ7000开发板跑nice例程联合仿真出错怎么解决？

蜂鸟E203移植到ZYNQ的zedboard开发板,helloworld例程成功。
但是用nice接口例程 生成的.verilog文件联合仿真时，vivado报以下错误。



这些错误对应的verillog代码如下：基本都是断言前后，感觉跟复位有关系，但是又不知道是不是