Блог
[измерено] Смерженная правка fp6_e3m2 изменила 8 граничных кодов, оставила 56 кодов без изменений и привела проверку 66 720 кодов к 0 несовпадений.
[измерено] Смерженная правка в gHashTag/trinity-fpga согласовала правило границы fp6_e3m2 во всём host-контуре conformance. Когда поле экспоненты достигает максимума, код теперь насыщается до наибольшего конечного значения 14.0, а не читается как обычная экспонента.
[измерено] Правка изменила 8 граничных кодов: четыре положительных и четыре отрицательных. Остальные 56 кодов fp6_e3m2 не изменились. Это исправление conformance, а не заявление о скорости, энергии, качестве модели или новом аппаратном результате.
[доказано] Теперь одно и то же правило насыщения присутствует в пяти местах: RTL fp6_e3m2, специализированном oracle декодирования, общем oracle декодирования, host golden и векторе self-test. Правка только в одном месте оставила бы следующее сравнение несогласованным.
[измерено] Host self-test завершился с результатом 53/53. Полная проверка golden-consistency сравнила 66 720 кодов и нашла 0 несовпадений. Сравнение oracle сообщило о совпадении 8/8 изменённых граничных кодов и сохранении 56/56 неизменённых; fp6_e2m3 не затрагивался.
[измерено] Предыдущая правка заставила self-test упасть на тех же 8 кодах. Это падение оказалось полезным: оно показало, что общий oracle ушёл вперёд host golden и его жёстко заданного вектора. Исправление состояло в том, чтобы протянуть правило через оставшиеся артефакты, а не ослабить проверку.
[доказано] Во время диагностики команда с pipe создала видимость успешного завершения падающего self-test: shell сообщил статус tail, а не Python. Повторный запуск без pipe вернул предусмотренный статус ошибки. Этот near-miss важно записать: гейт был корректен, некорректной была измеряющая команда.
Спецификация OCP MX в этом прогоне независимо не читалась; результат устанавливает согласованность существующих RTL и conformance-артефактов. В проверенном worktree не было RTL-подмодуля, поэтому сквозной прогон на бинарной FPGA ALINX AX7203 здесь не повторялся. Один исправленный формат не устанавливает корректность остальных форматов каталога из 83 форматов, общий аппаратный результат, результат на физическом кристалле, скорость, энергию или точность модели после квантования.
Поработаем вместе
Я аудирую RTL и строю независимые побитово точные модели, затем провожу результат через синтез и, когда это полезно, проверяю на плате Artix-7. Первый модуль проверки — бесплатно.