Измеренные доказательства
Заявления про железо дёшево делать и трудно проверять, поэтому здесь собраны результаты, стоящие за всем остальным: что построено, что оно показало и как это проверено. Где перед вами заявка, а не победа, и прототип, а не продукт — так и написано.
Матричный умножитель 4×4 над собственным форматом GF16, синтезированный под Artix-7. Он укладывается в логику вообще без блоков DSP48 — либо 21 223 LUT, если разрешить 64 аппаратных умножителя. Блок комбинационный: регистров нет, а значит нет тактовой и никакая частота ему не принадлежит.
Прямой проход, градиент и обновление весов — всё в RTL, без хоста в контуре. Двухслойная ReLU-сеть учит XOR на самом кристалле, 4 из 4, каждый узел побитово от спецификации до кремния.
Тот же исходник, что работает на FPGA, ушёл в открытый ASIC-процесс: GDS получен, тест на уровне вентилей пройден, precheck пройден.
Float, у которого экспонента — сбалансированное троичное число, а поля фиксированы: платить за декодирование режима не нужно, а на тернарной фабрике сложение экспонент нативно. Против tekum16, чьё заявленное преимущество — ровно эта фабрика: ничья у единицы, ошибка в 2.84 раза меньше при |e| 8–20 и в 5.53 раза меньше при |e| 20–38, при равномерных 9 битах мантиссы там, где tekum16 сужается до четырёх. Диапазон ограничен ±40 в степенях двойки, а у режима tekum16 предела нет; это и есть размен.
133 формальные спецификации: физический уровень GF16, BPSK-модем на AD9361, mesh-маршрутизация ETX, криптография ChaCha20-Poly1305 / X25519. Текст и изображения передаются между физически разными платами.
Побитовые тест-векторы для FP8, BF16, MXFP4 и microscaling-форматов: вендоронезависимый эталон для проверки арифметики низкой разрядности.
Эталонная модель пишется от спецификации, никогда от RTL.
Векторы с известным ответом на каждой ступени конвейера — регрессия указывает на сломавшуюся ступень.
Те же векторы снова прогоняются на физической плате. Согласие в симуляции не доказывает согласия на кремнии.
Yosys, nextpnr-xilinx, prjxray, openFPGALoader, iverilog. Между заявлением здесь и его воспроизведением никто не ставит проприетарную лицензию.
Подача в DARPA CLARA и участие в OpenAI Parameter Golf — это отправленная работа, а не выигранные контракты или взятые призы.
Замеры сняты на Xilinx Artix-7 и не являются многоугловой характеризацией.
Результат по обучению на кристалле доказан в малом масштабе: настоящая сеть учится на настоящем кремнии, но это не продакшн-ускоритель обучения.
Всё, что оценено, а не измерено, помечено как оценка.
На этой странице раньше стояли 323 МГц и 41.2 GOPS для матмула GF16. Перепроверка RTL 8 августа 2026 показала, что в блоке нет регистров, а значит нет тактовой и никакая частота ему принадлежать не может. Снято, а не объяснено.
Статьи, исходники и полный пример отчёта — всё открыто. Заявление, которое нельзя проверить, — просто предложение.