Merge pull request #355 from stnolting/dependabot/submodules/riscv-ar… #737

	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

Provide feedback