SystemC 可作形式化验证么

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

可以的，看看这个文章Formal Techniques for SystemC Verification

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

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