业内人士,必须匿名。但是出于爱国心实在忍不住不说
芯华章别的产品不了解所以不评论,单就谈谈形式化验证产品“灵验”(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搞得强一些
然而即便这样,芯华章融的资金少么?也有几个亿了吧
所以我聊天的时候,就跟我以前组的学弟说,国内人傻钱多,毕业了就赶紧回来吧,俗话说的好,对韭当割,该割就割
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 tinynews.org All Rights Reserved. 百科问答小站 版权所有