如何评价芯华章的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
相关话题
日本芯片产业的发展历程如何，有哪些值得借鉴的经验和应该规避的教训？有没有行业人能指导我一下IC设计软件开发怎么入门及提高呢？
华为两个14nm芯片叠加成7nm级别的芯片是怎么做到的?14*14的面积不是7*7的4倍吗?
苹果M1芯片相较于华为麒麟9000芯片是否被严重高估了？
如果海思部门独立了，或者卖设计方案给别的公司，能不能绕开美国找台积电生产？
想要像苹果一样，芯片、系统独立于安卓高通、微软英特尔之外，难度有多大？
A11处理器有55亿个晶体管，假如一秒钟设计一个晶体管，那也需要十几年，工程师如何设计这么多晶体管？
使用铋做芯片对比硅基芯片有哪些优势？
我是计算数学专业的学生，以后想向芯片制造方向，或者是航空发动机方向走，请问应该自学什么或者考什么博。？
光刻机 10 万多个零件，有没有中国制造的零部件？
下一个讨论
中国的法家，儒家，道家，能算哲学吗？
相关的话题
如何看待大陆唯一一台 7nm 光刻机被抵押，武汉弘芯千亿级芯片项目停摆，新员工延迟入职？如何评价国产化GPU芯片四小龙：寒武纪、灵汐、壁仞、燧原？哪一家会最后成为英伟达的替代者？
为什么中国以前靠钱学森、钱三强这样的留美科学家回国制造研究原子弹，而现在已经没有这样的留美人才了？
中国芯片现状是怎样的？
如何看待 8 月 24 日台积电公开的 7、5、4、3nm 工艺细节？有什么值得关注的信息？
怎么看待清华大学入局芯片？背后有哪些深意？
如何看待三星停止自研 CPU 架构并解散相关团队？
Aukey EPE1是什么蓝牙芯片？
如何看待 Zen 4 会使用 N5 工艺, 支持 AVX512 和 bfloat16?
14nm光刻机是怎么做出7nm和5nm芯片的？
如何看待韩国不愿提供芯片机密，美国称「别逼我走那一步」？
英伟达为防挖矿限制部分显卡性能，此举能否缓解全球视频游戏发烧友面临的显卡短缺问题？
高通收购恩智浦失败将产生哪些影响？
芯片产业中的光刻机是怎么雕刻出远远小于自己波长的线宽的？
如何看待视频博主耗时半年时间纯手工拼晶体管自制成功 CPU？
数字IC如何自我提升?
试问国内半导体厂商排名与国际竞争力？
如何看待韩国芯片制造商美格纳被中资收购，对于国产芯片有哪些影响？
零跑、Nvidia、mobileye哪家自动驾驶芯片运算能力最强。？
如何看待上海交大建成全国最强超算，碾压哈佛、剑桥等名校？
高端光刻机有哪些不可思议、神乎其神的高科技？
新款 iPhone SE 是不是只是 iPhone 8 换了个 A13 芯片？
人工智能是集成电路的新机会吗？
如何看待谷歌 Jeff Dean 用 AI 6 小时就能设计一款芯片，强力碾压集成电路设计专家？
职业选择与发展 - 芯片Formal验证 VS ISP数字图像处理？
如果想成为一名芯片前端设计工程师，额外掌握C好，还是掌握python好？
如何评价「吴敬琏评中兴事件：不惜一切代价发展芯片产业很危险」？
一条40nm产线，投资需要多大？
半导体设备vendor的售后工程师怎么样？
德州仪器在德州的芯片产能有多少，大雪导致的用电荒是否会导致德州仪器停产？