Hazard3/sourceme

export PROJ_ROOT=$PWD
export HDL=$PROJ_ROOT/hdl
export SCRIPTS=$PROJ_ROOT/scripts

export PATH="$PATH:$PWD/scripts"
export PATH="$PATH:/opt/riscv/bin"
Use .f for riscv-formal tb dependencies, small reshuffling of directories 2021-05-30 16:44:57 +08:00			`export PROJ_ROOT=$PWD`
			`export HDL=$PROJ_ROOT/hdl`
Add simple formal bus properties check 2021-05-30 17:19:42 +08:00			`export SCRIPTS=$PROJ_ROOT/scripts`
Add some instructions to Readme 2021-07-24 18:50:23 +08:00
			`export PATH="$PATH:$PWD/scripts"`
			`export PATH="$PATH:/opt/riscv/bin"`