From 98437b3d484f4e2f790a94ae12597b77ab6c382c Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Sat, 8 Aug 2026 17:40:57 +0700 Subject: [PATCH] fix(website): stop naming a device the evidence does not settle MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The evidence page said the GF16 timing closed on a Xilinx XC7A200T. Two Artix-7 parts appear across the source repositories — XC7A35T and XC7A200T — and which one carried the 323 MHz measurement is an open item in the correction ledger in trinity-fpga, explicitly flagged for confirmation rather than settled. Artix-7 is true either way, so that is what the page now says. On a page whose entire premise is that every number was measured rather than estimated, naming a specific part that is under review is the one claim that could cost the reader's trust in all the others. The service page keeps XC7A200T: that describes the bench I own, which is not in question. Co-Authored-By: Claude Opus 5 EOF --- apps/website/src/pages/Proof.tsx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/apps/website/src/pages/Proof.tsx b/apps/website/src/pages/Proof.tsx index 34f78a9aeb..73ae63a45b 100644 --- a/apps/website/src/pages/Proof.tsx +++ b/apps/website/src/pages/Proof.tsx @@ -19,7 +19,7 @@ const RESULTS = [ { metric: '323 MHz · 41.2 GOPS', title: 'GF16 4×4 matmul on Artix-7', - body: 'A matrix multiplier carrying its arithmetic entirely in logic — 0 DSP48 blocks and 0 inferred latches, timing closed on a Xilinx XC7A200T.', + body: 'A matrix multiplier carrying its arithmetic entirely in logic — 0 DSP48 blocks and 0 inferred latches, timing closed on a Xilinx Artix-7.', how: 'Measured on hardware, not estimated from a report.', }, { @@ -77,7 +77,7 @@ const RU = { ctaSource: 'Посмотреть исходники', resultsTitle: 'Результаты', results: [ - { metric: '323 МГц · 41.2 GOPS', title: 'Матричный умножитель GF16 4×4 на Artix-7', body: 'Умножитель, несущий свою арифметику целиком в логике: 0 блоков DSP48 и 0 выведенных защёлок, тайминг закрыт на Xilinx XC7A200T.', how: 'Измерено на железе, а не оценено по отчёту.' }, + { metric: '323 МГц · 41.2 GOPS', title: 'Матричный умножитель GF16 4×4 на Artix-7', body: 'Умножитель, несущий свою арифметику целиком в логике: 0 блоков DSP48 и 0 выведенных защёлок, тайминг закрыт на Xilinx Artix-7.', how: 'Измерено на железе, а не оценено по отчёту.' }, { metric: '100% отложенная выборка', title: 'Нейросеть, обучающаяся прямо на FPGA', body: 'Прямой проход, градиент и обновление весов — всё в RTL, без хоста в контуре. Двухслойная ReLU-сеть учит XOR на самом кристалле, 4 из 4.', how: 'Каждый узел побитово — от спецификации до кремния.' }, { metric: 'SKY130', title: 'Тейпаут через Tiny Tapeout', body: 'Тот же исходник, что работает на FPGA, ушёл в открытый ASIC-процесс: GDS получен, тест на уровне вентилей пройден, precheck пройден.', how: 'Полный путь от статьи на arXiv до изготовленного дизайна.' }, { metric: '≈3–5.5×', title: 'GF-T против сопоставимых форматов', body: 'Тернарный формат с плавающей точкой собственной разработки, лучший в классе среди сопоставимых тернарных форматов на средней и дальней дистанции — без декодирования режима, с нативной тернарной экспонентой.', how: 'Опубликован с независимой эталонной моделью и тест-векторами.' },