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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 2747|回复: 4

[求助] SystemC 可作形式化验证么

[复制链接]
发表于 2010-5-18 13:45:01 | 显示全部楼层 |阅读模式

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

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

x
想问一下SystemC是不是只能进行功能验证?
还有SystemC能做等效性验证么?

--请大侠们赐教
发表于 2010-6-27 14:52:57 | 显示全部楼层
怎么没有人回呢,我看行,我正在用呢?SC的好处很多:宜于调试,仿真快,和软件能融为一体。
发表于 2010-6-27 21:29:47 | 显示全部楼层
可以的,看看这个文章Formal Techniques for SystemC Verification
发表于 2010-7-2 17:08:39 | 显示全部楼层
当然可以,而且是未来的趋势。好好做下去,前途无量
发表于 2010-7-10 11:39:53 | 显示全部楼层
SC的国际会议火爆的很,欧洲、北美、日本都定期举办,OSCI上面有视频资料,都是业界先进工作的演讲,很有参考价值。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-11-23 06:44 , Processed in 0.024941 second(s), 8 queries , Gzip On, Redis On.

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