riscv vector tests

Générateur de tests vectoriels RISC-V

À propos

Ce référentiel héberge un générateur d'unité d'unité pour l'extension vectorielle RISC-V.

Caractéristiques

• Similaire aux tests RISCV, simple et facile à utiliser
• Auto-vérification par défaut, co-simulator convivial
• Binaires en mode utilisateur et en mode machine
• Intégration TestFloat3
• Soutenir RV32 et RV64
• Tester la couture de E8 à E64
• Tester le LMUL de MF8 à M8
• Soutenir Vlen de 64 à 4096
• Le support varie sous-extensions: Zvfh, Zvbb, Zvbc, Zvkg, Zvkned, Zvknha, Zvksed et Zvksh
• Configurable, voir make help

Limites

• Tous les tests sont par instruction, et cela se fait plus ou moins de la même manière
• Manque de support agnostique de queue / masque (c'est-à-dire TA / MA)
• Manque de tests de défaut seulement d'abord
• Manque de tests VStart
• Le manque de tests de chevauchement du groupe de registres
• ... et plus

Dans l'ensemble, il n'y a pas de statistiques ou de garanties de couverture.

Comment ça marche

Le simulateur de Spike est connu sous le nom de simulateur RISC-V Gold Standard, et bien que nous ne sachions pas comment Spike est testé, il prend pleinement en charge l'extension V. Nous avons donc ajouté une instruction spéciale personnalisée à Spike et pour tout test, laissez-le générer automatiquement un résultat de référence pour ce test. De cette façon, nous générons des tests pour toutes les instructions presque automatiquement. Dans ce cadre, tout ce que nous avons à faire est d'écrire un fichier de configuration simple pour chaque instruction.

Condition préalable

1. riscv64-unknown-elf-gcc avec support RVV 1.0
2. Le simulateur de pointe
3. Golang 1.19+
4. riscv-pk Si vous avez besoin de générer des binaires en mode utilisateur

Pour commencer, vous pouvez télécharger directement les tests pré-générés à partir des artefacts d'action GitHub.

Comment utiliser

 make all -j$(nproc)

Si vous avez des problèmes de compilation, veuillez vous référer aux étapes de construction dans build-and-test.yml.

Après make all , vous trouverez tous les tests générés dans out/v[vlen]x[xlen][mode]/bin/stage2/ .

Pour des options plus avancées, exécutez make help .

Remarque: Single / Single.go génère des tests directement à partir de l'étape 1, adaptés aux cibles avec des co-simulateurs (ou simplement utiliser TEST_MODE=cosim si vous êtes paresseux).

Package NIX

Ce référentiel fournit également une dérivation NIX avec la sortie suivante fournie:

• ${riscv-vector-test}/bin/* : binaires du générateur
• ${riscv-vector-test}/include/* : en-têtes nécessaires pour l'utilisation de l'exécution
• ${riscv-vector-test}/configs/* : Configuration d'exécution nécessaire

Licence

Ce projet utilise des projets tiers et les licences de ces projets sont attachées aux répertoires correspondants.

Le code de ce projet est distribué sous la version 2.0 de la licence Apache.

Le nom commercial «RISC-V» est une marque déposée de RISC-V International.