• 微信公众号:美女很有趣。 工作之余,放松一下,关注即送10G+美女照片!

sv assertion示例

开发技术 开发技术 3天前 5次浏览

1.sv assertion使用

sv assertion的使用涉及以下内容:

(1) sv assertion的构建(参考《SystemVerilog Assertions应用指南》一书);

(2) sv assertion的放置位置;

SystemVerilog Assertion 设计、调试、测试总结(2) – Zhangxianhe – 博客园 (cnblogs.com)

(3) sv assertion的波形dump;

断言波形显示_Shu_0223的博客-CSDN博客

FSDB Dumper – _9_8 – 博客园 (cnblogs.com)

(10条消息) SVA加载波形设置_Charlie *的博客-CSDN博客

2.sv assertion示例(不含波形)

2.1 代码

(1)为了在波形中查看assertion的情况,使用了$fsdbDumpSVA函数;

sv assertion示例

sv assertion示例

sv assertion示例

2.2 仿真命令

(1) 编译+仿真

vcs -sverilog -kdb test.sv -fsdb +fsdb+sva_success -R -l vcs.log

(2) 启动verdi

verdi -dbdir simv.daidir/ -ssf test.fsdb

 


程序员灯塔
转载请注明原文链接:sv assertion示例
喜欢 (0)

sv assertion示例

开发技术 3天前 0次浏览

1.sv assertion使用

sv assertion的使用涉及以下内容:

(1) sv assertion的构建(参考《SystemVerilog Assertions应用指南》一书);

(2) sv assertion的放置位置;

SystemVerilog Assertion 设计、调试、测试总结(2) – Zhangxianhe – 博客园 (cnblogs.com)

(3) sv assertion的波形dump;

断言波形显示_Shu_0223的博客-CSDN博客

FSDB Dumper – _9_8 – 博客园 (cnblogs.com)

(10条消息) SVA加载波形设置_Charlie *的博客-CSDN博客

2.sv assertion示例(不含波形)

2.1 代码

(1)为了在波形中查看assertion的情况,使用了$fsdbDumpSVA函数;

sv assertion示例

sv assertion示例

sv assertion示例

2.2 仿真命令

(1) 编译+仿真

vcs -sverilog -kdb test.sv -fsdb +fsdb+sva_success -R -l vcs.log

(2) 启动verdi

verdi -dbdir simv.daidir/ -ssf test.fsdb

 


程序员灯塔
转载请注明原文链接:sv assertion示例
喜欢 (0)

sv assertion示例

开发技术 开发技术 3天前 0次浏览

1.sv assertion使用

sv assertion的使用涉及以下内容:

(1) sv assertion的构建(参考《SystemVerilog Assertions应用指南》一书);

(2) sv assertion的放置位置;

SystemVerilog Assertion 设计、调试、测试总结(2) – Zhangxianhe – 博客园 (cnblogs.com)

(3) sv assertion的波形dump;

断言波形显示_Shu_0223的博客-CSDN博客

FSDB Dumper – _9_8 – 博客园 (cnblogs.com)

(10条消息) SVA加载波形设置_Charlie *的博客-CSDN博客

2.sv assertion示例(不含波形)

2.1 代码

(1)为了在波形中查看assertion的情况,使用了$fsdbDumpSVA函数;

sv assertion示例

sv assertion示例

sv assertion示例

2.2 仿真命令

(1) 编译+仿真

vcs -sverilog -kdb test.sv -fsdb +fsdb+sva_success -R -l vcs.log

(2) 启动verdi

verdi -dbdir simv.daidir/ -ssf test.fsdb

 


程序员灯塔
转载请注明原文链接:sv assertion示例
喜欢 (0)