Что это?
Overflow — открытый проект в области аппаратной разработки от организации Dollbar в USTC, создающий синтезируемый RTL для SoC AI-ускорителя (NPU плюс интерконнект KDLink) с моделью-смесью экспертов масштаба Kimi-K3 в качестве референсной нагрузки.
Overflow — открытый проект в области аппаратной разработки от организации Dollbar в USTC, создающий синтезируемый RTL для SoC AI-ускорителя (NPU плюс интерконнект KDLink) с моделью-смесью экспертов масштаба Kimi-K3 в качестве референсной нагрузки.Это работающий чип или просто исходный код RTL?Это синтезируемый RTL (код описания аппаратуры) плюс полный стек верификации, а не кремний. Внешние HBM, SerDes, хост и технологическое поведение представлены только явно помеченными моделями.
Это синтезируемый RTL (код описания аппаратуры) плюс полный стек верификации, а не кремний. Внешние HBM, SerDes, хост и технологическое поведение представлены только явно помеченными моделями.Как воспроизвести релиз и запустить гейты верификации?Склонируйте репозиторий на Linux-хосте x86-64 с нужным тулчейном в PATH и запустите регрессию на Make; в выводе чистой лицензированной аттестации ожидайте RELEASEREGRESSIONPASS и RELEASEGATEPASS.
Склонируйте репозиторий на Linux-хосте x86-64 с нужным тулчейном в PATH и запустите регрессию на Make; в выводе чистой лицензированной аттестации ожидайте RELEASEREGRESSIONPASS и RELEASEGATEPASS.Какие инструменты нужны перед сборкой?Python 3.12, GNU Make, GCC, Verilator, Yosys, OpenSTA и verilatorcoverage должны быть доступны в PATH; для полной RTL-регрессии рекомендуется машина с 32 ГиБ ОЗУ (один только lint Pod занял около 20 ГиБ).
Python 3.12, GNU Make, GCC, Verilator, Yosys, OpenSTA и verilatorcoverage должны быть доступны в PATH; для полной RTL-регрессии рекомендуется машина с 32 ГиБ ОЗУ (один только lint Pod занял около 20 ГиБ).Включает ли этот релиз полностью работающий чип или AI-стек?Нет. Релиз 1.0 не включает веса моделей, приватные датасеты, полный стек компилятора/рантайма/драйверов, сквозной продукт Kimi-K3, аналоговые PHY-модели, физическое проектирование, DFT и кремниевый signoff; заявленные показатели производительности — это утверждения из симуляции/архитектуры, а не измерения на кремнии.
Нет. Релиз 1.0 не включает веса моделей, приватные датасеты, полный стек компилятора/рантайма/драйверов, сквозной продукт Kimi-K3, аналоговые PHY-модели, физическое проектирование, DFT и кремниевый signoff; заявленные показатели производительности — это утверждения из симуляции/архитектуры, а не измерения на кремнии.Для кого этот проект?Он нацелен на инженеров по аппаратуре/RTL и исследователей, занимающихся проектированием SoC AI-ускорителей, а не на конечных пользователей, запускающих AI-модель.
Он нацелен на инженеров по аппаратуре/RTL и исследователей, занимающихся проектированием SoC AI-ускорителей, а не на конечных пользователей, запускающих AI-модель.Что такое KDLink?KDLink — это межчиповый интерконнект Overflow, покрывающий endpoint, router и collective RTL плюс вендор-нейтральную цифровую модель SerDes, используемую для связывания нескольких NPU.
KDLink — это межчиповый интерконнект Overflow, покрывающий endpoint, router и collective RTL плюс вендор-нейтральную цифровую модель SerDes, используемую для связывания нескольких NPU.На какую нагрузку рассчитана архитектура?Базовый вариант нацелен на референсную модель в стиле Kimi-K3 с 2,8T общих и 104B активных параметров, с перспективной рамкой 5,6T общих и 208B активных параметров при весах MXFP4 и активациях MXFP8/FP8/BF16.
Базовый вариант нацелен на референсную модель в стиле Kimi-K3 с 2,8T общих и 104B активных параметров, с перспективной рамкой 5,6T общих и 208B активных параметров при весах MXFP4 и активациях MXFP8/FP8/BF16.Сколько времени занимает полный прогон верификации?На провалидированном 24-поточном хосте гейт KDLink RTL занимает около 45 минут, а его инструментированный гейт покрытия — около 48 минут; это плановые цифры, а не требования к производительности.
На провалидированном 24-поточном хосте гейт KDLink RTL занимает около 45 минут, а его инструментированный гейт покрытия — около 48 минут; это плановые цифры, а не требования к производительности.Измерены ли 2 PFLOPS, 5 TB/s и 50 token/s на реальном кремнии?Нет, они явно помечены как утверждения из архитектуры или симуляции (уровни доказательности ANALYTICAL, FUNCTIONALSIM, RTLSIM, FORMAL или GENERICSYNTH), а не как результаты измерений на кремнии.
Нет, они явно помечены как утверждения из архитектуры или симуляции (уровни доказательности ANALYTICAL, FUNCTIONALSIM, RTLSIM, FORMAL или GENERICSYNTH), а не как результаты измерений на кремнии.What are similar projects?ai-infra-book, maths-cs-ai-compendium, apex-inference-chip, Hy-MT2, cs249r_book, DeepSeek-V3, professional-programming, openTPU
ai-infra-book, maths-cs-ai-compendium, apex-inference-chip, Hy-MT2, cs249r_book, DeepSeek-V3, professional-programming, openTPUWhich topics is it in?university, system-design, simulation, architecture, hardware, quantization, artificial-intelligence, distributed-systems, inference, testing, china, networking
university, system-design, simulation, architecture, hardware, quantization, artificial-intelligence, distributed-systems, inference, testing, china, networking