diff --git a/Makefile b/Makefile index 74ddf44..8e51ca8 100644 --- a/Makefile +++ b/Makefile @@ -13,12 +13,9 @@ COMPRESSED_ISA = C test: testbench.vvp firmware/firmware.hex vvp -N testbench.vvp -testbench_vcd: testbench.vvp firmware/firmware.hex +test_vcd: testbench.vvp firmware/firmware.hex vvp -N $< +vcd +trace +noerror -view: testbench_vcd - gtkwave $< testbench.gtkw - check: check-yices check-%: check.smt2 @@ -136,5 +133,5 @@ clean: 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 view test_sp test_axi test_synth download-tools build-tools toc clean +.PHONY: test test_vcd test_sp test_axi test_synth download-tools build-tools toc clean