设为首页收藏本站

在线咨询切换到宽版

eetop公众号

创芯大讲堂

创芯人才网

快捷导航

搜全文

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › IC验证 › IC验证资料 › OVL或者说是SVA检查器库应用指南 Synopsys库文件《Synop ...

12 3 4 5 6 / 6 页下一页

返回列表发新帖

查看: 18354|回复: 51

[原创] OVL或者说是SVA检查器库应用指南 Synopsys库文件《Synopsys_SVA_OVL检查库应用指南》

gbsid gbsid 当前离线积分 3746 IP卡狗仔卡	发表于 2013-10-20 17:57:29 \| 显示全部楼层 \|阅读模式
gbsid gbsid 当前离线积分 3746 IP卡狗仔卡	相关帖子 • 在cadence 的 ncsim 上如何跑 systemverilog assertion • 求有用的system verilog assertion的中文资料 • SVA 中的bind为何不起作用？ • 使用ncsim仿systemverilog assertion问题 • a practical guide for systemverilog assertions vijayaraghavan ramanathan下载 • The Power of Assertions in SystemVerilog • 有关assertion的PPT文档 • mentor公司0_in CDC完整PDF学习文档及例子源代码 • 【mentor公司0-In CDC先进断言验证软件安装包及安装过程】 • OVL库源代码（ARM核推荐）
	回复使用道具举报提升卡沉默卡喧嚣卡变色卡

jackye jackye 当前离线积分 1298 IP卡狗仔卡	发表于 2013-10-22 22:12:44 \| 显示全部楼层
jackye jackye 当前离线积分 1298 IP卡狗仔卡	畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
	回复支持反对使用道具举报

水中山0428 水中山0428 当前离线积分 1534 IP卡狗仔卡	发表于 2013-10-28 17:03:30 \| 显示全部楼层
水中山0428 水中山0428 当前离线积分 1534 IP卡狗仔卡
	回复支持反对使用道具举报

飞扬紫百合飞扬紫百合当前离线积分 420841 IP卡狗仔卡	发表于 2013-10-28 17:51:03 \| 显示全部楼层
飞扬紫百合飞扬紫百合当前离线积分 420841 IP卡狗仔卡
	回复支持反对使用道具举报

tilin tilin 当前离线积分 1335 IP卡狗仔卡	发表于 2014-11-13 11:00:20 \| 显示全部楼层
tilin tilin 当前离线积分 1335 IP卡狗仔卡	畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
	回复支持反对使用道具举报

lein134 lein134 当前离线积分 3 IP卡狗仔卡	发表于 2014-11-13 14:27:01 \| 显示全部楼层
lein134 lein134 当前离线积分 3 IP卡狗仔卡
	回复支持反对使用道具举报

getwkg getwkg 当前离线积分 21 IP卡狗仔卡	发表于 2015-1-23 15:33:33 \| 显示全部楼层
getwkg getwkg 当前离线积分 21 IP卡狗仔卡	畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
	回复支持反对使用道具举报

670687308 670687308 当前离线积分 445 IP卡狗仔卡	发表于 2015-1-23 15:51:08 \| 显示全部楼层
670687308 670687308 当前离线积分 445 IP卡狗仔卡
	回复支持反对使用道具举报

lzj94412768 lzj94412768 当前离线积分 60 IP卡狗仔卡	发表于 2015-2-2 09:12:18 \| 显示全部楼层
lzj94412768 lzj94412768 当前离线积分 60 IP卡狗仔卡
	回复支持反对使用道具举报

aljuied aljuied 当前离线积分 3921 IP卡狗仔卡	发表于 2015-3-25 13:51:53 \| 显示全部楼层
aljuied aljuied 当前离线积分 3921 IP卡狗仔卡
	回复支持反对使用道具举报

12 3 4 5 6 / 6 页下一页

返回列表发新帖

手机版| 小黑屋| 关于我们| 联系我们| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号京公网安备:11010502037710 )

GMT+8, 2026-1-12 11:56 , Processed in 0.042517 second(s), 7 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

快速回复 返回顶部 返回列表