T27: наш собственный формат чисел
Вы узнаете
Как три трита дают больше уровней, чем 4-битное число с плавающей точкой, и чего это стоит в обычных битах.
У 4-битного числа с плавающей точкой вроде E2M1 — элемента форматов NVFP4 и MXFP4 — 16 кодов, и два из них означают ноль. У трёх сбалансированных тритов 3 x 3 x 3 = 27 состояний. T27 — наш формат, который использует их все: 27 уровней стоят там, где на самом деле лежат веса обученной сети, и один общий масштаб на блок весов. На троичной памяти это больше уровней в том же объёме. Упакованный в обычные двоичные биты, он получается больше, а не меньше, и виджет показывает оба счёта.
Попробуйте
Проведите вес по всему диапазону и найдите, где E2M1 округляет хуже, чем T27; затем прочитайте таблицу хранения в битах.
Все уроки
Модуль 1 · Чип
Что такое FPGA, какой чип у нас и как его выводы встречаются с платой.
Модуль 2 · Числа в железе
Биты, триты и форматы чисел, и сколько стоит арифметика в логике.
Модуль 3 · Ваша программа на t27
Напишите спеку, проверьте её и увидьте, почему «компилируется» не значит «верно».
Модуль 4 · Внутри t27c
Как компилятор читает спеку и что он пишет, включая нативный t27b.
Модуль 5 · От спеки к железу
Verilog, который пишет t27c, ячейки, в которые он превращается, и что делает одна LUT.
Модуль 6 · Читаем синтез
Что yosys сообщает о вашем дизайне и какие предупреждения важны.
Модуль 7 · Размещение, трассировка, тайминг
Где ячейки оказываются на кристалле и успевает ли тактовая частота.
Модуль 8 · Битстрим
Как оттрассированный дизайн становится битами, которые загружает чип, без Vivado.
Модуль 9 · На плате
Спросите чип, кто он, загрузите биты и проверьте их.
Модуль 10 · Лаборатория: наши исследования
Свой формат чисел, честная таблица результатов и таблицы модели, перемноженные на плате.