如何评价芯华章的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
相关话题
EDA 工具的门槛在哪里？国产 EDA 近几年境况如何？有何亮点？如何看待任正非说的「发展芯片光砸钱不行，还要砸物理学家数学家」？
国内有哪些公司可成长为芯片巨头？
如何评价“中国成功量产28nm高通骁龙处理器“？如何看待骁龙425？
如何看待英特尔 CEO 基辛格在其新年视频中称「12 代酷睿把 AMD 甩在身后，绝不会被反超」？
如何评价 2021 年 1 月 13 日 AMD发布的5000系移动端处理器？ 有哪些亮点和槽点？
半导体设备vendor的售后工程师怎么样？
传 A15 芯片下月台积电开产，采用加强版 5nm 工艺，新芯片有哪些值得关注的技术和新特性？
如何看待英特尔宣布暂停7nm、5nm制程相关技术研发，寻求台积电代加工？
与手机芯片相比，车规级芯片有何不同？高通最新的8155芯片在车规级芯片中处于什么水平？
下一个讨论
中国的法家，儒家，道家，能算哲学吗？
相关的话题
EDA 工具的门槛在哪里？国产 EDA 近几年境况如何？有何亮点？如何看待因芯片断供，通用汽车推出缺芯卡车，每升油少跑 425 米，三星或在明年暂停Note系列生产？
如何评价 2021 年 1 月 13 日 AMD发布的5000系移动端处理器？ 有哪些亮点和槽点？
我国芯片技术是否落后？那太湖之光是怎么造出来的？
一条40nm产线，投资需要多大？
如何看待xilinx提出的all progarmable 的概念？
如何评价工信部发文称将筹建全国集成电路标准化技术委员会？对我国半导体产业有什么意义？
英特尔宣布将在美国俄亥俄州建造「地球上最大的芯片制造基地」，可行性如何？将产生哪些影响？
使用铋做芯片对比硅基芯片有哪些优势？
硅基芯片是否点错了科技树？
如何看待台积电 5 天内三次涨价，从晶圆到代工费都全面涨价？
如何评价2019年度芯片设计公司澜起科技 平均年度薪酬达121万?
如何看待 Zen 4 会使用 N5 工艺, 支持 AVX512 和 bfloat16?
如何设计制作Intel x86芯片为核心的开发板？
中国芯片人才缺口约30万，预计多久能补回来？
如何看待美国研究人员设计出的「无法被黑的芯片」？
如何看待 OPPO 给应届生开出 40w+ 的待遇，实际情况是怎样的？
台积电近期表示要启动 2nm 工艺研发，有哪些值得关注的信息吗？
芯片 5nm 和 7nm 有什么差别，CPU 已经很小了，做大点不行吗？
苹果M1芯片相较于华为麒麟9000芯片是否被严重高估了？
中文芯片的难点在哪？
如何看待小米自研芯片？
从事模拟ic设计，目前感觉好有压力。？
如何评价摩尔线程发布基于 MUSA 统一系统架构发布的 GPU?
话说日本光刻机像佳能、尼康水平目前是什么水平？
如何看待英伟达 Nvidia 可能达成收购 Arm 的交易？将会有哪些影响？
国内有哪些公司可成长为芯片巨头？
USB芯片到底完成了哪些工作？
如何看待台积电一名员工确诊「新冠」，引发全球晶圆市场恐慌？会产生多大影响？
芯片制造流片一张多少钱？