目前都什么仿真工具支持断言呢？

我自己试了下，用OVL的库在Modelsim中可以用。

俺不是高手。但是主流的仿真器都支持断言，比如
ModelSim（QuestaSim），Ncsim，VCS
Debussy也支持断言，但听说后续的Verdi版本不在升级PSL断言，
只升级SVA断言