riscv vector tests

Risc-V-Vektor-Testgenerator

Um

Dieses Repository hostet Unit Tests Generator für die Erweiterung der RISC-V-Vektor.

Merkmale

• Ähnlich wie bei RISCV-Tests, einfach und einfach zu bedienen
• Selbstverifizierung standardmäßig, Co-Simulator freundlich
• Benutzer-Mode- und Maschinenmodus-Binärdateien
• Testfloat3 Integration
• Unterstützen Sie RV32 und RV64
• Testen Sie das Nähen von E8 auf E64
• Testen Sie LMUL von MF8 bis M8
• Unterstützen Sie Vlen von 64 bis 4096
• Die Unterstützung variiert unterschiedliche Auslöser: Zvfh, Zvbb, Zvbc, Zvkg, Zvkned, ZVKNHA, ZVKSED und ZVKSH
• Konfigurierbar, siehe make help

Einschränkungen

• Alle Tests sind pro Anweisung, und es wird mehr oder weniger auf die gleiche Weise durchgeführt
• Mangel an Schwanz/Maske Agnostische Unterstützung (dh ta/ma)
• Mangeln
• Mangel an Vstart -Tests
• Mangel an Registergruppenüberlappungstests
• ... und mehr

Insgesamt gibt es keine Deckungsstatistiken oder Garantien.

Wie es funktioniert

Der Spike-Simulator ist als RISC-V-Goldstandard-Simulator bekannt, und obwohl wir nicht wissen, wie Spike getestet wird, unterstützt er die V-Erweiterung vollständig. Deshalb haben wir eine benutzerdefinierte spezielle Anweisung zum Spike hinzugefügt und für jeden Test automatisch ein Referenzergebnis für diesen Test generiert. Auf diese Weise erstellen wir fast automatisch Tests für alle Anweisungen. Nach diesem Framework müssen wir nur eine einfache Konfigurationsdatei für jede Anweisung schreiben.

Voraussetzung

1. riscv64-unknown-elf-gcc mit RVV 1.0-Unterstützung
2. Der Spike -Simulator
3. Golang 1.19+
4. riscv-pk wenn Sie User-Mode-Binärdateien generieren müssen

Für den Anfang können Sie die vorgenerierten Tests von Github-Action-Artefakten direkt herunterladen.

Wie man benutzt

 make all -j$(nproc)

Wenn Sie Probleme mit dem Kompilieren haben, finden Sie in den Build-Schritten in Build-and-Test.yml.

Nachdem make all , finden Sie alle generierten Tests in out/v[vlen]x[xlen][mode]/bin/stage2/ .

Für fortgeschrittenere Optionen rennen make help .

Hinweis: Single/Single.GO generiert Tests direkt aus Stufe 1, geeignet für Ziele mit Co-Simulatoren (oder einfach TEST_MODE=cosim verwenden, wenn Sie faul sind).

Nix -Paket

Dieses Repository liefert auch eine NIX -Ableitung mit der folgenden Ausgabe, die angegeben ist:

• ${riscv-vector-test}/bin/* : Generator-Binärdateien
• ${riscv-vector-test}/include/* : notwendige Header für die Laufzeitnutzung
• ${riscv-vector-test}/configs/* : notwendige Laufzeitkonfigurationen

Lizenz

In diesem Projekt werden Projekte von Drittanbietern verwendet, und die Lizenzen dieser Projekte sind den entsprechenden Verzeichnissen beigefügt.

Der Code für dieses Projekt wird unter der Apache -Lizenzversion 2.0 verteilt.

Der Namen „RISC-V“ ist eine eingetragene Marke von RISC-V International.