Блог
Аппаратному числу нужен паспорт замера
[Измерено] Для изолированного декодера GFTernary зафиксированы 66 LUT и 974,66 МГц на Artix-7 XC7A200T, вместе с тулчейном, статистикой seed и базовой линией на той же части. Квитанция не заявляет токены в секунду или пропускную способность системы.
[Измерено] Число ещё не является сравнением, пока рядом с ним не опубликован паспорт замера. Для изолированного декодера GFTernary измерено 66 LUT при 974,66 МГц на Xilinx Artix-7 XC7A200T на плате ALINX AX7203.
В исходнике зафиксирован открытый поток: Yosys 0.65, nextpnr-xilinx 1743d0f и Icarus Verilog 13.0; приведена медиана пяти seed, инференс DSP выключен. Это изолированный декодер, а не законченная система инференса.
Базовая линия должна стоять в той же строке
Тот же источник даёт базовую линию голого провода на той же части: 112 LUT при 827,81 МГц. Поэтому результат 66 LUT — свойство этого декодера, downstream-регистра и этого потока синтеза. Это не заявление об универсальном преимуществе троичного датапути по площади.
| Поле паспорта | Зафиксированное значение |
|---|---|
| Часть и плата | Xilinx Artix-7 XC7A200T; ALINX AX7203 |
| Поток | Yosys 0.65; nextpnr-xilinx 1743d0f; Icarus Verilog 13.0 |
| Статистика | Медиана пяти seed |
| Инференс DSP | Выключен |
| Базовая линия | Голый провод на той же части: 112 LUT при 827,81 МГц |
| Измеряемый объект | Изолированный декодер GFTernary, не система |
Второй замер ограничивает первый
[Измерено] Развёртка APoT в том же проекте дала 130, 380, 230 и 384 LUT при ширинах сдвига от 2 до 5. Последовательность немонотонна. Поэтому небольшую разницу между двумя точками синтеза нельзя превращать в общее заявление о площади; один логический синтез не заменяет сравнение после разводки или на устройстве.
Что подтверждает квитанция
- Один воспроизводимый результат для изолированного декодера: 66 LUT при 974,66 МГц на названной FPGA и открытом тулчейне.
- Базовая линия на той же части, чтобы читатель видел не только заголовочное число, но и объект сравнения.
- Немонотонная APoT-развёртка, опубликованная без сглаживания неудобного поведения инструмента.
Чего это не доказывает
- Собственного измерения токенов в секунду на AX7203 или другой плате в этом посте нет.
- Изолированный декодер не является полной моделью, системой памяти, prefill-трактом или decode-трактом.
- Это не многоугловая характеризация и не сравнение реализации takum в том же потоке.
- Из LUT и частоты нельзя выводить заявления об ASIC, изготовленном кристалле, мощности или пропускной способности системы.
Практическое правило для инженера простое: рядом с каждым аппаратным числом указывать часть, плату, тулчейн, статистику seed, выключенные функции, базовую линию на той же части и измеряемый объект. Без этих полей заголовок tok/s нельзя воспроизвести или честно сравнить.
Чего это не решает
- В посте записан изолированный декодер, а не токены в секунду, сквозной инференс, мощность, полоса памяти или целая модель.
- Результат относится к одной семье FPGA и одному открытому потоку; сравнения между устройствами и с вендорским потоком здесь не проводились.
- Реализация takum в том же потоке рядом с декодером не синтезировалась.
- Немонотонная APoT-развёртка предупреждает о свойствах потока замера, а не является моделью всех реализаций на FPGA.
Пруфы
Поработаем вместе
Хотите так же проверить собственный дизайн?
Я аудирую RTL и строю независимые побитово точные модели, затем провожу результат через синтез и, когда это полезно, проверяю на плате Artix-7. Первый модуль проверки — бесплатно.