日志

关注IC3

已有 608 次阅读| 2014-10-29 11:02 |个人分类:verification

和lingyi师兄聊天。他建议做有意义、有影响的工作。

可以考虑把形式化engine弄懂，结合硬件设计进行优化。这个工作更有意思。IC3是FMCAD2011的model checking竞赛的冠军，很多人在关注，代表了最先进的求解策略。看源码，弄懂求解过程，会对model checking理解的很清楚。以后更容易深入进去。

接下来看看model checking的原理，结合IC3加深理解。

GMT+8, 2025-6-22 20:33 , Processed in 0.139050 second(s), 18 queries , Gzip On, MemCached On.

eetop公众号

创芯大讲堂

创芯人才网