这两个预编译的作用是什么?vivado是不是可以编译system verilog的语法,而modelsim却不能呢?谢谢!!!
这个就是一个assertion,在仿真时用来检测x态的。
modelsim应该也可以支持sv吧,应该需要一个设置,自行网上搜索下吧