「芯片验证」共找到 1407 篇相关文章
全球禁运AI芯片或将大幅升级！刚刚披露，美国草案划定超严格红线
彭博社披露美商务部草案，计划对英伟达、AMD等先进AI芯片实施全球出口许可制，按采购规模分3个审查层级，这破坏贸易规则、威胁产业链稳定，还引发多国反感。
MIT给微型机器人做了颗芯片，功耗仅6毫瓦，能实时3D建图
麻省理工学院研究团队开发出名为 Gleanmer 的微型芯片，功耗仅 6 毫瓦，能实时生成三维占据地图。它解决了机器人导航核心问题，通过多项优化提升性能，或让小设备拥有空间理解能力。
市值冲上2036亿港元！这家芯片“隐形冠军”在港交所敲钟了
2月9日，澜起科技于港交所主板正式挂牌上市，上市首日市值达约2036.69亿港元。它由杨崇和等创立，专注内存接口芯片领域，技术领先，业绩受技术与产业周期影响，嵌入全球AI基础设施核心供应链。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
中国首次提出半导体演进新原则：华为“韬定律”5 年内冲刺等效1.4nm制程，麒麟、昇腾将先后落地量产
5月25日，华为何庭波在ISCAS 2026上提出“韬定律”，以“时间缩微”替代“几何缩微”。论文展示验证案例，预计2031年高端芯片晶体管密度达1.4nm等效水平，今年秋季麒麟新芯片将首发“逻辑折叠”技术。
逼近5万亿美元！英伟达GTC深夜爆拉市值，Vera Rubin超级芯片首露面
昨夜英伟达GTC大会上，黄仁勋演讲后股价涨4.98%，市值增2300多亿美元达4.89万亿逼近5万亿。他介绍了Vera Rubin超级芯片等，还宣布多项技术成果，如AI原生6G协议栈、NVQLink等。
黄仁勋台上最强GPU炸场，台下感叹“中国芯片爆发”，瞄准6G投资诺基亚
英伟达发布会上，黄仁勋官宣新GPU Vera Rubin，还谈及中国芯片爆发，夸中国模型成果显著。此外，英伟达公布量子计算、6G通信等领域布局，与诺基亚合作入局6G并投资，不过各领域均面临竞争。
HAMi 2.7.0 重磅发布 | 异构芯片全面拓展，调度更稳、生态更强
Dynamia密瓜智能宣布发布HAMi 2.7.0版，在硬件生态、调度器、应用层生态等方面有显著进展。硬件上支持昆仑芯、燧原、AWS等芯片；调度器优化了资源计算和可观测性；应用层与vLLM、Xinference等整合。
Claude 4如何思考？资深研究员回应：RLHF范式已过，RLVR已在编程/数学得到验证
Anthropic两位研究员在博客采访中透露Claude 4思考细节。提到可验证奖励强化学习RLVR在编程和数学领域获证明，探讨了RL扩展、模型自我意识等，还为大学生给出AI领域建议。
卡帕西李飞飞辛顿都投了的Transformer专用芯片，签下10亿美元大单
Etched是只做Transformer专用芯片的创业公司，获卡帕西、李飞飞、辛顿投资。它宣布流片成功，筹集8亿美元，获10亿美元客户大单，还推出一整套面向前沿模型推理的集群系统。