日志

分享关注IC3: tcwang8847 2014-10-29 11:02; 和lingyi师兄聊天。他建议做有意义、有影响的工作。可以考虑把形式化engine弄懂，结合硬件设计进行优化。这个工作更有意思。IC3是FMCAD2011的model checking竞赛的冠军，很多人在关注，代表了最先进的求解策略。看源码，弄懂求解过程，会对model checking理解的很清楚。以后更容易深入进去。接下来看看model checking的原 ...; 个人分类: verification|547 次阅读|0 个评论

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

GMT+8, 2024-5-17 12:55 , Processed in 0.012563 second(s), 7 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

站长推荐 /1