Тернарное железо для ИИ
Я проектирую числовые форматы и железо, которое их считает: от статьи на arXiv через RTL, укладывающийся в логику Artix-7 без единого аппаратного умножителя, до тейпаута на SKY130 — целиком на инструментах, которые любой поставит бесплатно. Каждая цифра ниже измерена, и рядом с ней названо, чего она не доказывает.
Float, у которого экспонента — сбалансированное троичное число, а поля фиксированы: платить за декодирование режима не нужно. Ничья у единицы, в 2.84 раза точнее при |e| 8–20 и в 5.53 раза при |e| 20–38. Перемерено независимо 8 августа 2026.
Геометрическая сетка из степеней φ шириной четыре бита против восьмибитной E8M0: 4.125 бита на вес против 4.250 и перплексия лучше на обеих моделях — 21.3545 против 22.4998 и 14.8512 против 14.9447. Дешевле и точнее одновременно.
Прямой проход, градиент и обновление весов в RTL, без хоста в контуре: сеть учит XOR на FPGA, 4 из 4, побитово от спецификации до кремния.
Тот же исходник, что работает на плате, прошёл открытый ASIC-процесс: GDS получен, тест на уровне вентилей и precheck пройдены.
У блочного формата два поля. Масштаб мы выигрываем, элемент — нет: при 4 битах MXFP4 даёт 21.9397 против 36.7214 у нашего TNF4. Три захода провалились, граница Ллойда–Макса говорит, что четвёртый не оправдан.
±40 в степенях двойки, примерно ±12 декад. У режима tekum16 предела нет — дальше он работает, а GF-T переполняется. Фиксированные поля покупают дешёвый тракт; диапазон — цена.
Замеры сняты на Xilinx Artix-7 на открытом флоу. Это не многоугловая характеризация, и для ASIC числа будут другими.
Каждая цифра сайта с замером, который её породил, — и отдельно то, чем результаты не являются.
Побитовая сверка вашего RTL с независимой моделью, тайминг и ресурсы на живой плате. Первый модуль бесплатно.
Раскладка полей, точность против tekum16, стоимость в железе и честный список того, где он проигрывает.
Статьи выходят здесь раньше, чем где-либо ещё, с пруфами и открытыми вопросами.
Первый модуль верификации бесплатный, и отчёт ваш — публикуйте или оставьте себе.