mirror of
https://github.com/olofk/serv.git
synced 2025-04-21 12:27:08 -04:00
52 lines
2 KiB
YAML
52 lines
2 KiB
YAML
name: Run compliance test suite
|
|
|
|
on: [push, pull_request]
|
|
|
|
jobs:
|
|
compliance:
|
|
name: RISC-V Compliance Test
|
|
runs-on: ubuntu-22.04
|
|
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
path: serv
|
|
|
|
- name: install fusesoc, verilator, gcc and riscof
|
|
run: |
|
|
sudo apt-get install -y python3-setuptools verilator
|
|
pip3 install fusesoc
|
|
pip3 install riscof
|
|
wget -qO- https://github.com/riscv-collab/riscv-gnu-toolchain/releases/download/2023.07.05/riscv64-elf-ubuntu-22.04-gcc-nightly-2023.07.05-nightly.tar.gz | tar xz
|
|
echo $GITHUB_WORKSPACE/riscv/bin >> $GITHUB_PATH
|
|
|
|
|
|
- name: set root and SERV directory
|
|
run: |
|
|
echo "SERV=$GITHUB_WORKSPACE/serv" >> $GITHUB_ENV
|
|
|
|
- name: setup workspace
|
|
run: fusesoc library add serv $SERV
|
|
|
|
- name: Setup SAIL-RISCV Model
|
|
run: |
|
|
tar -xzf $SERV/verif/bin/sail-riscv.tar.gz
|
|
echo $GITHUB_WORKSPACE/sail-riscv >> $GITHUB_PATH
|
|
|
|
- name: Init arch tests
|
|
run: riscof arch-test --clone
|
|
|
|
- name: Run RV32I compliance tests
|
|
run: riscof run --config=$SERV/verif/config.ini --suite=riscv-arch-test/riscv-test-suite/rv32i_m/I --env=riscv-arch-test/riscv-test-suite/env --no-browser
|
|
|
|
- name: Run RV32IM compliance tests
|
|
run: riscof run --config=$SERV/verif/config.ini --suite=riscv-arch-test/riscv-test-suite/rv32i_m/M --env=riscv-arch-test/riscv-test-suite/env --no-browser
|
|
|
|
- name: Run RV32IC compliance tests
|
|
run: riscof run --config=$SERV/verif/config.ini --suite=riscv-arch-test/riscv-test-suite/rv32i_m/C --env=riscv-arch-test/riscv-test-suite/env --no-browser
|
|
|
|
- name: Run RV32I Zifencei compliance tests
|
|
run: riscof run --config=$SERV/verif/config.ini --suite=riscv-arch-test/riscv-test-suite/rv32i_m/Zifencei --env=riscv-arch-test/riscv-test-suite/env --no-browser
|
|
|
|
- name: Run RV32I Privilege compliance tests
|
|
run: riscof run --config=$SERV/verif/config.ini --suite=riscv-arch-test/riscv-test-suite/rv32i_m/privilege --env=riscv-arch-test/riscv-test-suite/env --no-browser
|