Fix vivado flow #254


	name: Verify

	on: [push]

	jobs:
	verify-with-verilator:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2

	- name: Cache modules
	id: cache-verify
	uses: actions/cache@v3
	env:
	cache-name: cache-verify
	with:
	path: ~/.verify
	key: ${{ runner.os }}-build-${{ env.cache-name }}-${{ hashFiles('**/package-lock.json') }}
	restore-keys: \|
	${{ runner.os }}-build-${{ env.cache-name }}-
	${{ runner.os }}-build-
	${{ runner.os }}-

	- name: Install Verilator
	run: \|
	sudo apt-get install git help2man perl python3 make autoconf g++ flex bison ccache libunwind-dev
	sudo apt-get install libgoogle-perftools-dev numactl perl-doc
	sudo apt-get install libfl2 # Ubuntu only (ignore if gives error)
	sudo apt-get install libfl-dev # Ubuntu only (ignore if gives error)
	# sudo apt-get install zlibc zlib1g zlib1g-dev # Ubuntu only (ignore if gives error)

	git clone https://github.com/abarajithan11/verilator-compiled
	cd verilator-compiled
	tar -C ${HOME} -xzf verilator.tar.gz

	- name: Install DeepSoCFlow
	run: \|
	pip install .

	- name: Verify Full Design
	run: \|
	export VERILATOR_ROOT=${HOME}/verilator
	export PATH=${VERILATOR_ROOT}/bin:${PATH}
	export PYMTL_VERILATOR_INCLUDE_DIR=${VERILATOR_ROOT}/share/verilator/include
	verilator --version

	mkdir -p run/work
	cd run/work
	python -m pytest -s ../param_test.py

Provide feedback