如何评价芯华章的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
相关话题
芯片这关中国什么时候能过去？美国决定一颗芯片也不给中兴，中国大陆高端制造业能突破重围吗？
美国封杀华为，中芯国际能够替代台积电实现芯片自立吗？
MOV自研芯片目前进展如何?
40w去小芯片公司做芯片验证，还是36w去amd做ip验证？
印度推出牛粪芯片，声称可减少手机辐射，让人免于疾病，对此你怎么看？
中国的微电子技术为什么差？
7纳米的国产芯片也是通过光刻机生产吗？国内有如此尖端的光刻工艺了吗？是不是要台积电或者三星代工？
高铁中的 IGBT 是什么？都在哪些领域有应用？
同样是ASML的光刻机，为什么同样的制程会产生不同的芯片性能，是如何产生的？
下一个讨论
中国的法家，儒家，道家，能算哲学吗？
相关的话题
IC专业有必要学算法，数据等软件的东西吗？杨元庆表示联想没必要做芯片和操作系统，这一想法主要出于哪些考虑？
2021 年国产芯片订单量井喷，如何看待这种现象？这将给国产芯片发展带来哪些新机会？
如何看待苹果M1芯片跑分超过i9？
为什么说「学微电子都怕掉进材料的坑」？
进入世界一流的IC设计公司，该如何准备，需要哪些条件？
为什么高精度 ADC 这么重要，想要学习 ADC 应用设计该如何入手？
从技术的角度来看，RISC-V 能对芯片发展、科技自主起到哪些作用？
如何看待三星罕见地针对自家晶圆代工良率展开内部调查，连夜彻查晶圆代工业务资金流向？
在你心目中，2021 年芯片领域最具代表性的热门事件有哪些？
台湾的台积电公司只是个代工厂吗？他们自己不会设计芯片？
如何评价芯华章的EDA突破？
为什么很多人常常把麒麟，高通的芯片说成CPU（中央处理器），麒麟和高通应该是系统级芯片（SOC）啊？
x86为啥不兼容mips指令集？
芯片的运行速度是由什么决定的？
龙芯真的不如移动芯片吗？美国禁止向中国超算提供英特尔芯片后影响会多大？
我国已掌握50纳米以上的芯片工艺，是否已经大量采用国产单片机等其他低端芯片的国产集成电路（IC）？
为什么华为海思不给其他手机厂家使用麒麟芯片呢？
如果中国吃透半导体行业全产业，会对世界局势产生什么影响？
中国移动成立芯片公司，进军物联网芯片制造业，这意味着什么？
如何评价苹果 M1 系列芯片不支持 AV1 视频编码的硬件解码？
全球芯片短缺，中国有没有机会？
如何评价任正非表示：「华为目前的困难，是设计出来的芯片国内基础工业造不出来」？
人类历史上第一个集成电路使用什么仪器制作的？
对于碳基芯片的出现你有何见解？
为什么现在手机芯片都是量大管够，汽车芯片却缺货了？
为什么说台积电赴美已成定局？有哪些原因？
自学数字ic是否靠谱？
如何反驳一些人提出的「海思芯片只是吃了制程红利，实际芯片设计水平几乎没有」这样的说法？
英特尔的处理器为什么不用 7 纳米的工艺？