如何在modelsim中进行基于OVL库断言语句的设计和验证

primmm · 发表于 2009-8-18 21:41:41

参观中！～

wangyingwei · 发表于 2010-1-15 10:03:00

请问LZ这个OVL库别的仿真工具支持不？比如说VCS或者是NCSIM？

shirley_4 · 发表于 2010-7-23 22:06:16

库已经下下来了，但是还是没明白怎么加到modelsim中，可不可以详细点啊，
真的不懂咧，真正学断言啦

syq0917 · 发表于 2012-4-25 21:13:00

回复 3# rong1980

请问modelsim6.5中能运行systemverilog的断言吗

kingchoie · 发表于 2012-12-16 21:31:02

回复 1# jungswee

duo xie lou zhu

飞扬紫百合 · 发表于 2012-12-17 17:12:09

可以用用formal

bxlfirst · 发表于 2012-12-19 09:24:48

xuexi xuexi le

盖文哲 · 发表于 2015-10-28 12:04:17

我想请教一下，OVL库可以测试功能覆盖率么？

kingwu1234 · 发表于 2015-10-29 22:21:54

ovl is very useful in RTL.

opqfeixue122 · 发表于 2016-1-14 16:19:45

学习了。

站长推荐 /2