Does anyone know how to use AXI Assertions with the AXI bus-interconnect

nikh243t · 发表于 2012-5-11 14:12:56

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

x

Does anyone know how to use AXI Assertions with the AXI bus-interconnect...........

radiantls · 发表于 2012-8-1 17:43:39

也学习一下.

bobo1982 · 发表于 2013-6-8 23:36:37

编译时包含ova的库，在tb下bind assertion就ok了

bai252003 · 发表于 2024-4-28 11:43:39

bobo1982 发表于 2013-6-8 23:36
编译时包含ova的库，在tb下bind assertion就ok了

请教一下，ova是什么库啊？？？

[活动] Does anyone know how to use AXI Assertions with the AXI bus-interconnect