如何评价芯华章的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
相关话题
英特尔始终徘徊14纳米制程，瓶颈在哪里？如果我国实现 28nm 芯片全产业链国产化，能够满足国内多少比例的芯片供应？
如何评价这几天知乎关于「芯片」上的悲观氛围？
美国的芯片制造企业是否弱于台积电、三星？这么重要的环节会不担心么？
网传百度正在为成立芯片公司筹款，百度在芯片方面有哪些优势吗？前景如何？
为什么高精度 ADC 这么重要，想要学习 ADC 应用设计该如何入手？
如何看待 ARM 与中国合资中方占股51%？
CPU为什么不切割成等六边形?
CPU芯片研发费用在哪些方面？
如何看待华为推出 990E 版的 Mate 40E，并定价 4599 元起?
下一个讨论
中国的法家，儒家，道家，能算哲学吗？
相关的话题
十年前的 ASIC/SoC 设计跟现在的 ASIC/SoC 设计，发生了哪些变化？怎么看待温晓君谈明年年底14nm芯片将量产？
新建 CPU 工厂要投资几十亿美元，钱都花在哪里了？
如何看待头部手机厂商纷纷入局自研芯片？
有大佬回答一下学微电子这几个专业哪个比较有前景吗？
台积电和三星如果不给华为海思麒麟芯片代工，华为芯片会怎么样？
如何评价2019年5月24日 中芯国际自愿从纽交所退市？是否与量产14nm制程工艺良品率95%有关？
深圳养犬需植入电子芯片，10 月起未植入将视为无证养犬，你怎么看？
ARM 宣布停止对华为后续服务，将会对华为的麒麟芯片造成哪些影响？
如果我国实现 28nm 芯片全产业链国产化，能够满足国内多少比例的芯片供应？
如何评价中国科学院大学「一生一芯」计划？对国产芯片的发展意味着什么？
用人工智能来设计芯片有可行性么？
如何看车企都是8155的时代了，比亚迪为何还停留在6系芯片？
中国的芯片现状如何？
太空计算机为什么性能都特别低？
集成电路预充阶段对存储阵列运行有什么重要性？
如何看待英特尔被指控侵犯中科院持有的鳍式场效应晶体管（FinFET）专利？
字节跳动准备造IC？造给谁造的啥为啥造？
在集成电路设计领域（数字，模拟），人工智能有无可能取代人类？
如何看待消息称三星电子将向美国提交芯片业务商业数据？
为什么国产手机厂商，除了华为都没有自己的处理器芯片，有哪些原因？
如何看待 OPPO 给应届生开出 40w+ 的待遇，实际情况是怎样的？
同样是ASML的光刻机，为什么同样的制程会产生不同的芯片性能，是如何产生的？
如何评价苹果 M1 Ultra 芯片，有哪些值得关注的信息？
如何评价龙芯中科：政府应该把国外芯片挡一挡？
大众汽车回应停产系芯片断供，断供芯片会给汽车行业带来哪些影响？电子原件芯片对汽车有多重要？
数字IC如何自我提升?
如何看待英特尔 CEO 宣布 1000 亿美元芯片制造中心计划，称缺芯将持续到 2023 年？
硅基芯片是否点错了科技树？
如何评价“中国成功量产28nm高通骁龙处理器“？如何看待骁龙425？