在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 7737|回复: 34

基于SystemVerilog语言的验证学

[复制链接]
发表于 2008-12-22 16:38:41 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

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

x
1  SystemVerilog验证方法学介绍
4
1.1  验证面临挑战
4
1.2  SystemVerilog验证技术
4
1.3  产生带约束随机仿真
4
1.4  覆盖率驱动验证
5
1.5  断言
7
1.6  小结
8
2  SystemVerilog验证方法学:RTL
8
2.1  分层测试平台结构
8
2.2  自顶向下和自底向上
9
2.3  结果检查
10
2.4  覆盖率驱动验证执行
10
2.5  使用形式分析
11
2.6  产生可重用验证IP
11
2.7  小结
12
3  SystemVerilog验证方法学:ESL
12
3.1  系统级验证介绍
12
3.2  可扩展的验证单元
13
3.3  XVC管理器(XVC manager)
13
3.4  系统级验证环境
14
3.5  事务级模型(Transaction-level models)
16
3.6  小结
17
4  SystemVerilog验证方法学:采用VMM
17
4.1  采用验证方法学
17
4.2  VMM提供四类库
18
4.2.1  VMM标准库
18
4.2.2  VMM Checker库
19
4.2.3  XVC标准库
20
4.2.4  软件测试架构
21
4.3  小结
21
结束语:
21


基于SystemVerilog语言的验证学.doc (782 KB, 下载次数: 661 )
发表于 2008-12-23 13:55:44 | 显示全部楼层
看看,学习一下
发表于 2008-12-23 19:32:17 | 显示全部楼层
谢谢分享!!
楼主辛苦了 !!
发表于 2008-12-24 09:10:08 | 显示全部楼层
very good
发表于 2008-12-24 13:48:34 | 显示全部楼层
真实好东西。
发表于 2008-12-24 15:36:05 | 显示全部楼层
不错。顶一个。
发表于 2008-12-25 22:38:35 | 显示全部楼层
谢谢楼主分享
发表于 2009-6-18 17:37:33 | 显示全部楼层
好好好好东东东西啊
发表于 2009-6-21 17:06:05 | 显示全部楼层
这东西。。。。
发表于 2009-6-29 11:58:06 | 显示全部楼层
thanks
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /2 下一条

×

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

GMT+8, 2024-11-25 14:15 , Processed in 0.028387 second(s), 11 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表