如何评价芯华章的EDA突破？ 第1页
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搞得强一些
然而即便这样，芯华章融的资金少么？也有几个亿了吧
所以我聊天的时候，就跟我以前组的学弟说，国内人傻钱多，毕业了就赶紧回来吧，俗话说的好，对韭当割，该割就割
1
相关话题
低功耗CPU是怎么做到的？如何看待阿斯麦（ASML）11月12日官方宣布深紫外线（DUV）光刻机从即刻起向中国自由出口？
如何看待中科院8英寸石墨烯晶圆问世？石墨烯芯片还要等多久？石墨烯会让光刻机退出世界舞台吗？
国产半导体的最大威胁，是为美国服务的华人科学家，这是芯片行业内斗吗？
MOV自研芯片目前进展如何?
如何看待中国向荷兰ASML公司订购两台高端光刻机？
芯片制程已经很很难突破，那为什么不能扩大芯片的面积呢？
中国光刻机明年可以达到世界较为先进的水平，开始迈入芯片强国吗？
（脑洞）茅台为什么不造芯片？
全球模拟芯片设计研发的趋势是不是往中国转移？
下一个讨论
中国的法家，儒家，道家，能算哲学吗？
相关的话题
半导体巨头预期晶圆产能吃紧到明年底，今年芯片供应将如何变化？如何看待台积电董事长刘德音称：在美建设工厂，成本远超预期，且将会延期装机投产？
据说大型芯片有几十亿个晶体管，一个都容不得出错，但为何芯片可靠性还这么高？
如何看待台积电宣布将投资 120 亿美元赴美建 5nm 芯片工厂？
如何评价国产化GPU芯片四小龙：寒武纪、灵汐、壁仞、燧原？哪一家会最后成为英伟达的替代者？
为什么在国家鼓励大力发展集成电路产业大背景下，数字芯片设计/验证，FPGA开发的实习岗位不是很多？
推进EDA工具完全国产化的难度有多大，有哪些可行的途径？
如何看待华为的「塔山计划」，自建芯片晶圆厂会有哪些影响？为什么华为选择自建？
芯片为什么每年都能进步？
如何看待中国科学院大学录取通知书嵌入龙芯芯片？
如何评价网传某大厂总裁疑似已婚出轨有私生子，并向女方索要 72 万元生活费被举报？
如果海思麒麟还活着，今年会推出什么样的旗舰 soc 产品？
台湾的台积电公司只是个代工厂吗？他们自己不会设计芯片？
华为在汽车上低调的发布了一枚麒麟 990A 芯片有什么意义？
如何看待我国首枚芯片邮票问世，内置 120 um超薄芯片，可用手机读取信息？收藏价值大吗？
如果美国开放芯片了 国产芯片怎么办？
为什么英特尔坚持用自己的晶圆厂制造消费级CPU？
如何评价日本ARM超算取得今年6月TOP500、HPCG、HPL-AI和Graph500排名第一？
存储芯片是双面光刻的吗？如果不是为什么不做成双面的？
in memory computing 存内计算是学术圈自娱自乐还是真有价值？
国产芯片的真实水平如何？
如何看待中国首条14纳米芯片生产线正式投产？目前的生产状况如何？
2019 年来看，逻辑芯片的技术发展如何，市场前景怎样？
怎么评价梁孟松加入中芯国际？
为什么 CPU 几乎全是方形的，别的形状就不行吗？
如何看待京微雅格的倒闭？
如何看待台积电的跨界自研芯片“This”？
ASML DUV 光刻机 12 秒完成整片晶圆，这意味着什么？
芯片行业哪些职位比较有前途？
摩尔定律是正确的么？