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

wangyingwei · 发表于 2010-1-15 14:08:44

您需要登录才可以下载或查看，没有账号？注册

x

想问下论坛里用过断言的高手，目前都什么仿真工具支持断言呢？

wangyingwei · 发表于 2010-1-15 14:38:17

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

guantou · 发表于 2010-1-15 18:26:16

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

[求助] 目前都什么仿真工具支持断言呢？