Fix sby relative paths

cores/VexRiscv/dmemcheck.sby

@@ -9,13 +9,13 @@ smtbmc --presat --unroll boolector
 
 [script]
 read_verilog -sv dmemcheck.sv
-read_verilog /home/spinalvm/hdl/formal/riscv-formal/cores/VexRiscv/VexRiscv.v
+read_verilog ../../VexRiscv.v
 prep -nordff -top testbench
 
 [files]
 dmemcheck.sv
-/home/spinalvm/hdl/formal/riscv-formal/cores/picorv32/../../checks/rvfi_macros.vh
-/home/spinalvm/hdl/formal/riscv-formal/cores/picorv32/../../checks/rvfi_channel.sv
-/home/spinalvm/hdl/formal/riscv-formal/cores/picorv32/../../checks/rvfi_testbench.sv
-/home/spinalvm/hdl/formal/riscv-formal/cores/picorv32/../../checks/rvfi_dmem_check.sv
+../../checks/rvfi_macros.vh
+../../checks/rvfi_channel.sv
+../../checks/rvfi_testbench.sv
+../../checks/rvfi_dmem_check.sv
 

cores/VexRiscv/imemcheck.sby

@@ -9,13 +9,12 @@ smtbmc --presat --unroll boolector
 
 [script]
 read_verilog -sv imemcheck.sv
-read_verilog /home/spinalvm/hdl/formal/riscv-formal/cores/VexRiscv/VexRiscv.v
+read_verilog ../../VexRiscv.v
 prep -nordff -top testbench
 
 [files]
 imemcheck.sv
-/home/spinalvm/hdl/formal/riscv-formal/cores/picorv32/../../checks/rvfi_macros.vh
-/home/spinalvm/hdl/formal/riscv-formal/cores/picorv32/../../checks/rvfi_channel.sv
-/home/spinalvm/hdl/formal/riscv-formal/cores/picorv32/../../checks/rvfi_testbench.sv
-/home/spinalvm/hdl/formal/riscv-formal/cores/picorv32/../../checks/rvfi_imem_check.sv
-
+../../checks/rvfi_macros.vh
+../../checks/rvfi_channel.sv
+../../checks/rvfi_testbench.sv
+../../checks/rvfi_imem_check.sv