SVA仿真问题

ustkang · 发表于 2008-6-4 00:29:08

提示: 作者被禁止或删除内容自动屏蔽

qiu-zq · 发表于 2008-6-14 11:07:04

如果你的testbench有测试向量输入的话按理有波形才对的

另通不能发一个modelsim 6.3的License给我，谢谢啦。我邮箱qiu-zq@163.com

mingboshui · 发表于 2008-8-27 11:00:12

编译完成以后试着在命令行里面加入
vsim -novopt testbenchname
然后试试加信号到波形

eric_luo · 发表于 2008-8-28 11:57:50

软件不support。Modelsim虽然support SV，但不support SVA。
你可以使用Questasim

youyuxin · 发表于 2012-10-11 19:24:54

Questa 的Assertion Thread View对调试Assertion 非常有帮助

账号		自动登录	找回密码
密码			注册

ustkang ustkang 当前离线积分 610 IP卡狗仔卡头像被屏蔽	发表于 2008-6-4 00:29:08 \| 显示全部楼层 \|阅读模式提示: 作者被禁止或删除内容自动屏蔽
ustkang ustkang 当前离线积分 610 IP卡狗仔卡头像被屏蔽	相关帖子 • spectreverilog 仿真报错 • 新手求助，哪位高手有cadance软件及其安装方法的，求下载 • IC616 启动问题（附截图） • Allegro SPB Cadence 17.2 官方下载及软件破解包 • 关于带隙基准仿真时三极管参数怎么设置 • 请教一个基准电路的问题 • 重大利好] 最好用的时序图绘制软件TimingDesigner9.2优化版（内附破解文件） • Qrc 写进virtuoso 显示load menu • 数字后端流程请教 • eda软件quartus2
	回复使用道具举报提升卡沉默卡喧嚣卡变色卡

站长推荐 /1