riscv vector tests

RISC-V Vector Tes Generator

Tentang

Repositori ini meng-host generator unit unit untuk ekstensi vektor RISC-V.

Fitur

• Mirip dengan tes RISCV, sederhana dan mudah digunakan
• Verifikasi diri secara default, co-simulator ramah
• Binari mode pengguna dan mode mesin
• Integrasi TestFloat3
• Dukung RV32 dan RV64
• Uji jahit dari E8 ke E64
• Uji LMUL dari MF8 ke M8
• Dukung Vlen dari 64 hingga 4096
• Dukungan bervariasi sub-ekstensi: ZVFH, ZVBB, ZVBC, ZVKG, ZVKNED, ZVKNHA, ZVKSED dan ZVKSH
• Dapat dikonfigurasi, lihat make help

Batasan

• Semua tes adalah per instruksi, dan dilakukan lebih atau kurang dengan cara yang sama
• Kurangnya Dukungan Agnostik Ekor/Topeng (yaitu TA/MA)
• Kurangnya pengujian pertama-tama
• Kurangnya pengujian vStart
• Kurangnya pengujian tumpang tindih kelompok register
• ... dan banyak lagi

Secara keseluruhan, tidak ada statistik cakupan atau jaminan.

Cara kerjanya

Spike Simulator dikenal sebagai simulator standar emas RISC-V, dan meskipun kami tidak tahu bagaimana Spike diuji, ia sepenuhnya mendukung ekstensi V. Jadi kami menambahkan instruksi khusus khusus ke Spike, dan untuk tes apa pun, biarkan secara otomatis menghasilkan hasil referensi untuk tes itu. Dengan cara ini, kami menghasilkan tes untuk semua instruksi hampir secara otomatis. Di bawah kerangka kerja ini, yang harus kita lakukan adalah menulis file konfigurasi sederhana untuk setiap instruksi.

Prasyarat

1. riscv64-unknown-elf-gcc dengan Dukungan RVV 1.0
2. Simulator Spike
3. Golang 1.19+
4. riscv-pk Jika Anda perlu menghasilkan biner mode pengguna

Sebagai permulaan, Anda dapat langsung mengunduh tes yang dihasilkan sebelumnya dari Artefak Aksi GitHub.

Cara menggunakan

 make all -j$(nproc)

Jika Anda memiliki masalah kompilasi, silakan merujuk ke langkah-langkah build di build-and-test.yml.

Setelah make all , Anda akan menemukan semua tes yang dihasilkan di out/v[vlen]x[xlen][mode]/bin/stage2/ .

Untuk opsi yang lebih canggih, jalankan make help .

Catatan: Single/Single.go menghasilkan tes langsung dari tahap 1, cocok untuk target dengan co-simulator (atau cukup gunakan TEST_MODE=cosim jika Anda malas).

Paket Nix

Repositori ini juga memberikan derivasi NIX dengan output berikut yang disediakan:

• ${riscv-vector-test}/bin/* : binari generator
• ${riscv-vector-test}/include/* : header yang diperlukan untuk penggunaan runtime
• ${riscv-vector-test}/configs/* : runtime configs yang diperlukan

Lisensi

Proyek ini menggunakan proyek pihak ketiga, dan lisensi dari proyek-proyek ini melekat pada direktori yang sesuai.

Kode untuk proyek ini didistribusikan di bawah Lisensi Apache versi 2.0.

Nama dagang "RISC-V" adalah merek dagang terdaftar dari RISC-V International.