From 3f55fb4ccbe51ff57f4ec71050b63f6fcd519bc1 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 25 May 2018 13:04:49 +0200 Subject: Improve testbench_verilator Signed-off-by: Clifford Wolf --- Makefile | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 7beffd8..2c14263 100644 --- a/Makefile +++ b/Makefile @@ -71,8 +71,9 @@ testbench_synth.vvp: testbench.v synth.v chmod -x $@ testbench_verilator: testbench.v picorv32.v - verilator -Wno-lint -Wno-MULTIDRIVEN -trace --top-module picorv32_wrapper --cc testbench.v picorv32.v --exe testbench.cc $(subst C,-DCOMPRESSED_ISA,$(COMPRESSED_ISA)) - $(MAKE) -C obj_dir -f Vpicorv32_wrapper.mk + verilator --cc --exe -Wno-lint -trace --top-module picorv32_wrapper testbench.v picorv32.v testbench.cc \ + $(subst C,-DCOMPRESSED_ISA,$(COMPRESSED_ISA)) --Mdir testbench_verilator_dir + $(MAKE) -C testbench_verilator_dir -f Vpicorv32_wrapper.mk cp obj_dir/Vpicorv32_wrapper testbench_verilator check: check-yices @@ -170,6 +171,7 @@ clean: 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_ez.vvp \ - testbench_rvf.vvp testbench_wb.vvp testbench.vcd testbench.trace + testbench_rvf.vvp testbench_wb.vvp testbench.vcd testbench.trace \ + testbench_verilator testbench_verilator_dir .PHONY: test test_vcd test_sp test_axi test_wb test_wb_vcd test_ez test_ez_vcd test_synth download-tools build-tools toc clean -- cgit