diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-05-25 13:04:49 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-05-25 13:04:49 +0200 |
| commit | 3f55fb4ccbe51ff57f4ec71050b63f6fcd519bc1 (patch) | |
| tree | a97de0a57b878625c6c9d1ecac1f55b80bf579bc /Makefile | |
| parent | 247a19dd589d065db5ed19a1b7d251ea3a2a16a1 (diff) | |
| download | picorv32-3f55fb4ccbe51ff57f4ec71050b63f6fcd519bc1.tar.gz picorv32-3f55fb4ccbe51ff57f4ec71050b63f6fcd519bc1.zip | |
Improve testbench_verilator
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -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 |