纽约大学教授创立 Xcelsa Labs,用大模型加速芯片设计
IgorCarron · x · 2026-07-29
初创公司 Xcelsa Labs 正式宣布成立，旨在利用 AI 系统解决当前芯片设计面临的算力瓶颈与人才短缺问题。
其核心方法结合了大语言模型与形式化验证：
- 生成：利用大模型强大的代码生成能力，探索并重写芯片设计源码，重组数据路径和流水线以发现更优解。
- 证明：不依赖模型自身的判断，而是使用形式等价引擎严格验证每一个候选设计，确保与原设计逻辑绝对一致。
- 测量：基于工业级工具评估候选方案在功耗、性能和面积（PPA）上的实际表现，确保结果可直接用于流片。
该公司由三位纽约大学教授创立，目前已获得知名风投和半导体行业资深人士的支持。
「Infra」频道最新
- Reddit 用户在双 5090 家庭主机上跑出 Kimi K3 约 4 t/s — iVoider · 2026-07-30
- AI算力概念股遇冷：CRWV创52周新低，英伟达三月跌近9% — GaryMarcus · 2026-07-30
- 双 RTX 3090 仍难同时装下 Qwen 图像编辑和 27B 文本模型 — Civil_Fee_7862 · 2026-07-30
- llama.cpp 的预填充阶段竟然没吃满 CPU 和带宽 — Dependent_Ad948 · 2026-07-30
- 字节 SeedVR2 蒸馏到 14 亿参数，本地超分只要 4.6GB 内存 — TimeTruth2490 · 2026-07-30
- Erin Brockovich 发起 AI 数据中心环境调查 — Polymarket · 2026-07-29