riscv vector tests

Generador de pruebas de vectores RISC-V

Acerca de

Este repositorio aloja un generador de pruebas unitarias para la extensión del vector RISC-V.

Características

• Similar a las pruebas riscv, simple y fácil de usar
• Autoverificación por defecto, co-simulador amigable
• Binarios de modo de usuario y en modo máquina
• TestFloat3 Integración
• Apoyo a RV32 y RV64
• Prueba coser de E8 a E64
• Prueba LMUL de MF8 a M8
• Apoya a VLEN de 64 a 4096
• El soporte varía sub-extensiones: ZVFH, ZVBB, ZVBC, ZVKG, ZVKNED, ZVKNHA, ZVKSED y ZVKSH
• Configurable, ver make help

Limitaciones

• Todas las pruebas son por instrucción, y se hace más o menos de la misma manera
• Falta de soporte agnóstico de cola/máscara (es decir, ta/ma)
• Falta de pruebas de solo falla por primera vez
• Falta de pruebas Vstart
• Falta de pruebas de superposición de grupo de registro
• ... y más

En general, no hay estadísticas o garantías de cobertura.

Cómo funciona

El simulador Spike se conoce como el simulador estándar de oro RISC-V, y aunque no sabemos cómo se prueba Spike, admite completamente la extensión V. Por lo tanto, agregamos una instrucción especial personalizada para aumentar, y para cualquier prueba, deja que genere automáticamente un resultado de referencia para esa prueba. De esta manera, generamos pruebas para todas las instrucciones casi automáticamente. En este marco, todo lo que tenemos que hacer es escribir un archivo de configuración simple para cada instrucción.

Requisito previo

1. riscv64-unknown-elf-gcc con soporte RVV 1.0
2. El simulador de espiga
3. Golang 1.19+
4. riscv-pk si necesita generar binarios en modo de usuario

Para empezar, puede descargar directamente las pruebas previamente generadas de los artefactos de acción de GitHub.

Cómo usar

 make all -j$(nproc)

Si tiene problemas para compilar, consulte los pasos de compilación en build-and-test.yml.

Después de make all , encontrará todas las pruebas generadas en out/v[vlen]x[xlen][mode]/bin/stage2/ .

Para opciones más avanzadas, ejecute make help .

Nota: Single/Single.Go genera pruebas directamente desde la etapa 1, adecuada para objetivos con co-simuladores (o simplemente use TEST_MODE=cosim si es flojo).

Paquete nix

Este repositorio también proporciona una derivación NIX con la siguiente salida proporcionada:

• ${riscv-vector-test}/bin/* : binarios generadores
• ${riscv-vector-test}/include/* : encabezados necesarios para el uso de tiempo de ejecución
• ${riscv-vector-test}/configs/* : configuraciones de tiempo de ejecución necesarias

Licencia

Este proyecto utiliza proyectos de terceros, y las licencias de estos proyectos se adjuntan a los directorios correspondientes.

El código para este proyecto se distribuye bajo la Licencia Apache versión 2.0.

El nombre comercial "RISC-V" es una marca registrada de RISC-V International.