Блог
Четырнадцать строк согласовались, одна — нет
Post-route CI-прогон дал пятнадцати инструментированным строкам FPGA-частот сравнение с источником: четырнадцать попали внутрь измеренного шума потока, а LNS16 осталось явным исключением и один дизайн по-прежнему не инструментирован.
Подписи на изображении — на английском.
- THE ROWSFifteen instrumented rows.
- THE BANDFourteen fell inside the noise band.
- THE LIMITOne exception, one row uninstrumented.
Опубликованная частота FPGA остаётся утверждением, пока тот же измерительный путь не сможет её воспроизвести. В аудите G8 было шестнадцать опубликованных строк без post-route-свидетельства. Новый CI-прогон дал прямое сравнение для пятнадцати инструментированных строк и оставил исключения названными.
Статус: [измерено — CI post-route]. Прогон 32263875250 протрассировал arms инструмента tnf-format-throughput под целевую xc7a200tfbg484-2, используемую в потоке дизайна ALINX AX7203. Четырнадцать из пятнадцати инструментированных строк попали внутрь аудированной полосы разброса seed; отношения CI к опубликованным частотам лежат от 0,90× до 1,32×.
Согласие означает попадание в измеренную полосу
Полоса сравнения — 1,6–41,7%: измеренный разброс seed этого потока. Поэтому «воспроизведено» означает попадание в шум, а не равенство. Для binary16 отношение равно 1,00×, для int8 и binary32 — 0,97×, для takum16 — 1,09× в той же таблице. Рейтинг из этих отношений не выводится.
| Строка | CI / опубликовано | Чтение |
|---|---|---|
| binary16 | 1,00× | внутри полосы |
| int8 | 0,97× | внутри полосы |
| takum16 | 1,09× | внутри полосы |
| posit32 | 1,32× | внутри полосы |
| LNS16 | 1,46× | вне полосы |
Исключение полезнее чистой таблицы
LNS16 — единственная инструментированная строка вне полосы: CI сообщает 62,66 МГц против опубликованных 43,04 МГц, то есть 1,46×. Для опубликованного числа нет записи в репозитории, поэтому теперь есть число, полученное из CI, и нерешённый вопрос происхождения, а не тихое согласование.
Вторая граница — не расхождение: «plastic 16-bit, 318,47 МГц» не имеет harness в этом sweep, потому что это дизайн tab:hierarchy, а не tnet tract. Кампания измерений пока не может ни подтвердить, ни опровергнуть эту строку.
Поправка внутри самого аудита
Та же запись исправляет карту инструментов. У IBM hex32 действительно есть harness в репозитории — s_ibmhfp.v; он трассируется на 51,72 МГц против опубликованных 46,78 МГц, отношение — 1,11×. Поправка мала; важно, что строка стала проверяемой, а не исчезла из рассмотрения.
«Измерено с двумя исключениями» — результат. «Без источника» — не результат.
Что это НЕ доказывает
- Это post-route-свидетельство CI для целевой детали, а не UART- или физическое измерение на плате ALINX AX7203.
- Строки не доказывают пропускную способность, энергию, точность модели или пользу на downstream-нагрузке.
- Причина расхождения LNS16 не установлена. Нужен исходный лог или явное указание, что опубликованная строка заменена.
- Строка plastic 16-bit остаётся без инструментирования; её опубликованная частота этим прогоном не подтверждена.
Практический результат уже и сильнее громкого заголовка: у пятнадцати строк появились сравнения с источником из CI, четырнадцать попали внутрь измеренного шума потока, а два оставшихся пробела получили имена. Этого достаточно, чтобы выбрать следующий замер, но недостаточно, чтобы считать всю таблицу закрытой.
Чего это не решает
- Это post-route-свидетельство CI для целевой детали, а не UART- или физическое измерение на плате ALINX AX7203.
- Причина расхождения LNS16 не установлена. Нужен исходный лог или явное указание, что опубликованная строка заменена.
- Строка plastic-16bit остаётся без инструментирования; её опубликованная частота этим прогоном не подтверждена.
- Этот аудит не устанавливает пропускную способность, энергию, точность модели или результат на downstream-нагрузке.
Пруфы
Поработаем вместе
Хотите так же проверить собственный дизайн?
Я аудирую RTL и строю независимые побитово точные модели, затем провожу результат через синтез и, когда это полезно, проверяю на плате Artix-7. Первый модуль проверки — бесплатно.