如何评价芯华章的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
相关话题
华为能设计出 M1 这样的芯片吗？这是意法的啥芯片呀?在半导小芯上查不到？
如何看待「龙芯之父」胡伟武谈阿里华为等垂直系统企业做芯片能成功，「因为现在做集成电路芯片的门槛很低」？
如何看待华为海思发布的 7nm 麒麟 810 新处理器，性能表现会如何？将产生哪些影响？
英特尔将投资 170 亿欧元在德国建设芯片工厂，此举会对国际芯片产业带来哪些影响？
如何评价2019年6月21日华为海思推出的 7nm 芯片麒麟 810，其自研 NPU 架构有哪些亮点？
ARM 联合创始人请愿英国首相阻止英伟达收购：事关经济主权，后续会如何发展？
如何看待郭明錤爆料称 iPhone 14 只有 Pro 机型采用 A16 芯片？
MediaTek 的 5G 实力怎么样，能否凭借天玑芯片在 5G 时代完成逆袭？
如何评价这几天知乎关于「芯片」上的悲观氛围？
下一个讨论
中国的法家，儒家，道家，能算哲学吗？
相关的话题
为什么华为又可以购买高通的芯片了？网传华为等公司尝试阻止英伟达收购 ARM，这一收购对华为等公司的影响会有多大？
如何看待梁孟松离职风波后，中芯国际为其涨薪 3 倍，还送 2250 万的房子？
芯片产业中的光刻机是怎么雕刻出远远小于自己波长的线宽的？
ARM64 有能力完全取代 AMD64 吗？
西数、铠侠闪存工厂遭污染，美光 NAND 芯片价格大涨，将会给市场带来哪些影响？
如何评价苹果 M1 Max 芯片 GFXBench 5 跑分出炉：性能比肩 RTX 3080移动版？
如何看待英特尔发布的澄清公函，「关于新疆的段落只出于表述合规合法的初衷，并非它意或表达立场」？
芯片半导体是否为未来五年的科技风口？
集成电路先进封装技术有2.5D和3D，请问这两种封装技术有什么具体的区别？
中国大陆明明知道芯片不行，几十年前为什么不发展芯片？
世界首台分辨力最高紫外超分辨光刻装备宣布研制成功意味着什么？对国内芯片行业有何影响？
华为海思的模拟芯片做得怎么样？
如果社会没有道德和责任感，再好的科技，再远的道路，有什么用吗？
国外的小芯片公司是如何做起来的？
如何看待华为疑似将通过自建IDM形式在国内建成芯片生产线, 摆脱美国控制?
如何看待华为轮值董事长郭平表示「华为将投资芯片领域重构，用堆叠与面积换性能」？
台积电EE（上海）与KLA-Tencor CSE（青岛）该如何抉择？
台积电 2019 年耗电 143.3 亿度，芯片制造为何如此费电？能否科普一下？
为什么说「学微电子都怕掉进材料的坑」？
如何看待海思麒麟 980 处理器？
如果海思部门独立了，或者卖设计方案给别的公司，能不能绕开美国找台积电生产？
高铁中的 IGBT 是什么？都在哪些领域有应用？
如何看待“芯片制造关键设备再突破：离子注入机实现全谱系产品国产化”的意义？
首届 RISC-V 中国峰会 2021 年 6 月 21 日起在上海举行，有什么值得关注的地方？
同样是ASML的光刻机，为什么同样的制程会产生不同的芯片性能，是如何产生的？
英特尔始终徘徊14纳米制程，瓶颈在哪里？
如何看待中兴通讯7纳米芯片实现量产，5纳米芯片正在技术导入？
现在海思内部到底是什么情况，除了流片有什么项目做？海思还是应届生第一去处吗？
为什么英特尔坚持用自己的晶圆厂制造消费级CPU？