日志

关注IC3

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

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

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

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

忆阻器、第三代半导体等半导体材料与器件讲坛(资料+视频）: EETOP联合泰克科技，专门创建了“半导体材料与器件科学”的专题网页，并精心准备了海量的干货素材，涵盖PDF文档、云上讲坛视频。

GMT+8, 2024-5-2 18:58 , Processed in 0.025101 second(s), 18 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网