Vollständige Vier-Lane-FMA
Zwei geroutete FMA-Kacheln, separate Timingqualifikation, dokumentierte finale Netzlistenabnahme und Offlineprüfung.
HerunterladenDaten & Nachweise
Daten und Code.
Direkt nachprüfen.
Vergleichsdaten, ausführbare Zahlenprüfungen und ausgewählte Schaltungsquellen zum Herunterladen. Alle Dateien sind ohne Benutzerkonto zugänglich.
Teilprodukte und KI-Vergleich
Vier physische Produktvarianten, zehn RTL-Versuchsarme, 60 ausgeführte Kandidaten, Testfolgen und ein Offlinevalidator.
HerunterladenPhysischer Produktvergleich
Zellfläche, Drahtlänge, extrahierte interne Mindestperiode und verbleibende Fanoutverletzungen.
HerunterladenKI und Vertragsgenerator
Alle Einzelzeiten, fünf Verfahrensmediane und mitgezählte Transportfehler aus sechs Aufgaben in zwei Wiederholungen.
HerunterladenForschungs-Codepaket
Unveränderte Quellcodeauszüge, synthetische Testdaten, unabhängige Numerikprüfung und Dokumentation der Voraussetzungen.
HerunterladenKachelvergleich
Takte, extrahiertes Timing, aktive Fläche und modellierte Energie für sechs gepaarte Lastfälle.
HerunterladenKennzahlen nachrechnen
Berechnet Laufzeit- und Energieänderungen mit der Python-Standardbibliothek.
HerunterladenForschungsberichte
Die 21 ausführlichen Berichte mit Methoden, Ergebnissen und Identität ihrer ursprünglichen Quellen.
HerunterladenVollständige Vier-Lane-FMA: Daten zu AR-021
Der neue physische FMA-Vergleich verbindet vollständige BF16/FP32-Arithmetik mit lokalen Summen. Sein separates Nachweispaket enthält originale Layoutmetriken, Timingberichte, die begrenzte CTS-Qualifikation, Simulatorlogs und Sollspuren. Die kuratierte Abnahme bindet diese an die Identitäten der tatsächlich geprüften Endnetzlisten.
python verify_fma4.py --require-final --self-test
Der Offlineprüfer kontrolliert mitgelieferte Daten, Hashes und Rechnungen. Er führt keinen neuen Netzlistenlauf aus. Die vollständigen nativen Layoutarchive, Endnetzlisten und Zellmodelle sind nicht Teil dieses kleinen Pakets. Der Bericht trennt den gezielten Funktionstest ohne Verzögerungen von der statischen Timinganalyse an einer typischen Ecke. Es wurde keine Energie gemessen.
Weitere Veröffentlichung vom 10. November 2026
Das Paket feldra-research-20261110.zip dokumentiert zwei getrennte Versuche. Der physische Produktvergleich untersucht, wie gemeinsame Teilprodukte die Zellfläche, Verdrahtung und interne Taktgrenze verändern. Der KI-Vergleich misst zwei Sprachmodelle gegen einen deterministischen Vertragsgenerator bei gleicher geprüfter Funktion.
Nach dem Entpacken prüft der folgende Befehl Dateihashes, vier unveränderte Ausgangsauswertungen, die Ableitung der veröffentlichten Kennzahlen und alle zehn Versuchsarme. Dafür genügt Python 3.10 oder neuer.
python verify_reports.py
Mit einer vorhandenen Icarus-Verilog-Installation lässt sich zusätzlich ein vollständiger RTL-Arm erneut kompilieren und simulieren:
python replay_rtl.py --arm contract_generator_r1
Die README nennt alle zehn auswählbaren Arme. Die Testvektoren sind mit dieser Veröffentlichung öffentlich. Ein erneuter Lauf prüft die gespeicherten Schaltungen, erzeugt keine neue Modellantwort und ist kein Versuch mit weiterhin unbekannten Testfällen. Ein Python-Check ersetzt weder Platzierung und Verdrahtung noch eine physische Energiemessung. Die Quellenidentitäten binden die kuratierten Zahlen an ihre unveränderten Ausgangsdateien. Die vollständigen nativen Layoutarchive gehören nicht zum Download.
Weiterhin verfügbar: aktiver Summenkontext
Das frühere Paket feldra-research-code.zip behandelt den aktiven Summenkontext. Seine folgenden Prüfungen und Kennzahlen beziehen sich auf diesen eigenständigen Versuch.
Welche Prüfung lässt sich wiederholen?
Das ZIP enthält drei getrennte Ebenen. Die Kennzahlenprüfung berechnet relative Änderungen aus den veröffentlichten Vergleichsdaten. Die Numerikprüfung führt das Ganzzahl-Zahlenorakel auf definierten Testeingaben aus. Die RTL-Dateien zeigen den tatsächlichen aktiven Kontextpfad und seine Referenz.
| Ebene | Im Download | Voraussetzungen |
|---|---|---|
| Vergleichsrechnung | Takt-, Timing-, Flächen- und Energiedaten, Python-Prüfer | Python 3.10 oder neuer |
| Numerik und Ablauf | Zahlenorakel, synthetische Eingaben und unabhängige Prüfungen | Python-Standardbibliothek |
| Schaltung | Ausgewählte RTL-Quellen, Testbench und Wrapper | Zusätzlich HardFloat, SRAM-Modell und passender HDL-Simulator |
| Physisches Layout | Beschreibung des archivierten Vergleichs | Der vollständige EDA-Container und native Layoutarchive sind nicht Bestandteil dieses Pakets |
So starten Sie die Nachrechnung
ZIP entpacken und im enthaltenen Verzeichnis zunächst die README lesen. Der reine Kennzahlencheck benötigt keine Installation zusätzlicher Python-Pakete.
python verify_tile.py
Erwartet werden im Hauptfall 7,167832 % kürzere Zeit bei gemeinsamem Takt, 10,649708 % kürzere rechnerische Zeit an den jeweiligen STA-Grenzen und 1,969455 % höhere modellierte Kachelenergie bei 50 ns. Die Zeitänderungen erscheinen im Skript mit negativem Vorzeichen.
Was diese Dateien belegen
Ein bestandener Python-Check bestätigt die mitgelieferte Rechnung beziehungsweise die getestete Numerik. Er führt keine neue Platzierung oder Verdrahtung durch und misst keinen gefertigten Chip. Die Forschungsberichte erläutern die archivierten physischen Versuche und deren Randbedingungen. Diese Unterscheidung macht klar, welchen Teil eines Ergebnisses ein Leser gerade wiederholt.
Quellstände und Integrität
Das ZIP enthält eine SHA-256-Liste seiner Dateien. Zusätzlich stehen das Dateiverzeichnis mit Einzelprüfsummen und die Prüfsummen dieser Veröffentlichung bereit. Die Quellenhashes in den Berichten binden die redaktionelle Darstellung an den jeweiligen ursprünglichen Bericht.