SystemC 可作形式化验证么

zilf · 发表于 2010-5-18 13:45:01

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

x

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

--请大侠们赐教

nwumengfei · 发表于 2010-6-27 14:52:57

怎么没有人回呢，我看行，我正在用呢？SC的好处很多：宜于调试，仿真快，和软件能融为一体。

whxqq · 发表于 2010-6-27 21:29:47

可以的，看看这个文章Formal Techniques for SystemC Veriﬁcation

eric_luo · 发表于 2010-7-2 17:08:39

当然可以，而且是未来的趋势。好好做下去，前途无量

nwumengfei · 发表于 2010-7-10 11:39:53

SC的国际会议火爆的很，欧洲、北美、日本都定期举办，OSCI上面有视频资料，都是业界先进工作的演讲，很有参考价值。

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