Skip to content

Merge pull request #349 from stnolting/dependabot/submodules/neorv32-… #725

Merge pull request #349 from stnolting/dependabot/submodules/neorv32-…

Merge pull request #349 from stnolting/dependabot/submodules/neorv32-… #725

Workflow file for this run

name: NEORV32 RISCOF Verification
on:
push:
workflow_dispatch:
jobs:
neorv32-verification:
runs-on: ubuntu-20.04
steps:
- name: '📂 Repository checkout'
uses: actions/checkout@v4
with:
fetch-depth: 0
submodules: recursive
- name: '📦 Install Python'
uses: actions/setup-python@v5
with:
python-version: '3.11'
- name: '📦 Install RISC-V GCC'
run: |
wget -q https://github.com/stnolting/riscv-gcc-prebuilt/releases/download/rv32i-131023/riscv32-unknown-elf.gcc-13.2.0.tar.gz
mkdir $GITHUB_WORKSPACE/riscv-gcc
tar -xzf riscv32-unknown-elf.gcc-13.2.0.tar.gz -C $GITHUB_WORKSPACE/riscv-gcc
echo $GITHUB_WORKSPACE/riscv-gcc/bin >> $GITHUB_PATH
- name: '📦 Install Sail RISC-V model'
run: |
mkdir $GITHUB_WORKSPACE/sail-riscv
tar -xzf $GITHUB_WORKSPACE/bin/sail-riscv.tar.gz -C $GITHUB_WORKSPACE/sail-riscv
echo $GITHUB_WORKSPACE/sail-riscv >> $GITHUB_PATH
# upstream riscof is broken: https://github.com/riscv-software-src/riscof/issues/122
- name: '📦 Install RISCOF'
run: pip3 install git+https://github.com/riscv/riscof.git@d38859f85fe407bcacddd2efcd355ada4683aee4
- name: '📦 Install GHDL'
uses: ghdl/setup-ghdl-ci@nightly
- name: '🔍 Check tools'
run: |
python -V
riscv32-unknown-elf-gcc -v
riscv_sim_RV32 -h
riscof --version
ghdl -v
- name: '⚙️ Run verification framework'
run: /bin/bash -c "chmod u+x $GITHUB_WORKSPACE/run.sh && $GITHUB_WORKSPACE/run.sh"
- name: '📤 Archive test report'
uses: actions/upload-artifact@v4
with:
name: test_report
path: |
riscof_work/report.html
riscof_work/style.css