diff options
author | Antony Pavlov <antonynpavlov@gmail.com> | 2017-03-11 23:55:14 +0300 |
---|---|---|
committer | Antony Pavlov <antonynpavlov@gmail.com> | 2017-03-14 09:37:05 +0300 |
commit | a25597532d5af466a280e7c068dfae3ba362af44 (patch) | |
tree | 09d70f4d8fc0b39f94565cf3169c68221a50e2f5 /Makefile | |
parent | e59fa1dfb25ba54ec72e3c5b58ab5ffe97472e5d (diff) | |
download | picorv32-a25597532d5af466a280e7c068dfae3ba362af44.tar.gz picorv32-a25597532d5af466a280e7c068dfae3ba362af44.zip |
WIP: add WISHBONE testbench
Signed-off-by: Antony Pavlov <antonynpavlov@gmail.com>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 16 |
1 files changed, 13 insertions, 3 deletions
@@ -16,6 +16,12 @@ test: testbench.vvp firmware/firmware.hex test_vcd: testbench.vvp firmware/firmware.hex vvp -N $< +vcd +trace +noerror +test_wb: testbench_wb.vvp firmware/firmware.hex + vvp -N $< + +test_wb_vcd: testbench_wb.vvp firmware/firmware.hex + vvp -N $< +vcd +trace +noerror + check: check-yices check-%: check.smt2 @@ -41,6 +47,10 @@ testbench.vvp: testbench.v picorv32.v iverilog -o testbench.vvp $(subst C,-DCOMPRESSED_ISA,$(COMPRESSED_ISA)) -DRISCV_FORMAL testbench.v picorv32.v chmod -x testbench.vvp +testbench_wb.vvp: testbench_wb.v picorv32.v + iverilog -o $@ $(subst C,-DCOMPRESSED_ISA,$(COMPRESSED_ISA)) -DRISCV_FORMAL $^ + chmod -x $@ + testbench_sp.vvp: testbench.v picorv32.v iverilog -o testbench_sp.vvp $(subst C,-DCOMPRESSED_ISA,$(COMPRESSED_ISA)) -DRISCV_FORMAL -DSP_TEST testbench.v picorv32.v chmod -x testbench_sp.vvp @@ -131,7 +141,7 @@ clean: riscv-gnu-toolchain-riscv32im riscv-gnu-toolchain-riscv32imc rm -vrf $(FIRMWARE_OBJS) $(TEST_OBJS) check.smt2 check.vcd synth.v synth.log \ firmware/firmware.elf firmware/firmware.bin firmware/firmware.hex firmware/firmware.map \ - testbench.vvp testbench_sp.vvp testbench_synth.vvp testbench.vcd testbench.trace - -.PHONY: test test_vcd test_sp test_axi test_synth download-tools build-tools toc clean + testbench.vvp testbench_sp.vvp testbench_synth.vvp \ + testbench_wb.vvp testbench.vcd testbench.trace +.PHONY: test test_vcd test_sp test_axi test_wb test_wb_vcd test_synth download-tools build-tools toc clean |