如何评价芯华章的EDA突破？ 第1页

业内人士，必须匿名。但是出于爱国心实在忍不住不说

芯华章别的产品不了解所以不评论，单就谈谈形式化验证产品“灵验”（EpicFV）

EpicFV号称是“全球首款开源形式验证工具”，实际就是几个开源项目套个并行运算的壳。好一个”全球首款“，合着你用来套壳的Yosys，abc，avy之流不开源是么？

说是开源，用的Yosys script还藏着，有关部分只发布编译好的二进制代码。然后实际用下来，这部分还有bug，在prove模式下，明明我们给的电路里有bug，但是yosys-smtbmc只跑20个cycle就提前于abc结束了，反倒告诉你证明出了没有bug。这种false negative要是真投入生产，得坑多少人坑多少钱？

你要是这部分开源，我就好心去gitee上给你提个issue，甚至我直接上手开个pull request帮你们改代码也不是不可以，要是这么藏着，那就不陪您玩了

说道gitee，EpicFV还得了个gitee最有价值的开源项目奖，这么说来gitee上真是没有什么有价值的项目了

就算是套了abc的壳，abc这种bit-level的pdr也是多少年前的老黄历了，不妨也多套几个新的word-level的pdr，还可以把proof engine搞得强一些

然而即便这样，芯华章融的资金少么？也有几个亿了吧

所以我聊天的时候，就跟我以前组的学弟说，国内人傻钱多，毕业了就赶紧回来吧，俗话说的好，对韭当割，该割就割