一个关于assertion的问题

2020-04-27 15:23:57
1
141

各位大佬帮忙看一下,下面的assertion有啥问题?为什么用verdi吃文件的时候会报错误


用户评论 (1)
  • wujiboy

    2020-04-27 20:29:39 wujiboy 1#

    解决方法如下:将第44行的 $fatal("n.....改成 $fatal(2, "n....

    重要!!!!---> 还有几个使用$fatal的地方,需要一并修改了哟


    原因:$fatal这个系统函数改了,需要两个参数,第一个数字0,1,2是一个级别,但是文档写的很不清晰,我就随便选了个2,不知道到底选哪个数字比较好。(可能是Synposis选用的版本要求fatal需要有两个参数,实现e203的时候使用的verilog版本只需要一个参数吧,这个只有Bob HU才知道了)


    吐槽几句:

    - 这个verilog资料简直是太少了,几乎无法找到。我去找了iverilog的规范才从隐晦的文档中找到这个解决方法

    - Bob HU 不要打我: 发现一个语法错误  -> Error: Oops, detected a X value!!  应该改成 Error: Oops, detected an X value!!  哈哈哈哈

关注我们

微信扫码登录 点击刷新二维码