colin
/
picorv32
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Some testbench-related improvements 

Patch by Larry Doolittle
This commit is contained in:
Clifford Wolf 2015-07-02 10:45:35 +02:00
parent 9d3b0a9692
commit a7f9b7fbf3
2 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
Makefile
View File

@ -1,10 +1,17 @@
TEST_OBJS = $(addsuffix .o,$(basename $(wildcard tests/*.S))) TEST_OBJS = $(addsuffix .o,$(basename $(wildcard tests/*.S)))
FIRMWARE_OBJS = firmware/start.o firmware/irq.o firmware/print.o firmware/sieve.o firmware/multest.o firmware/stats.o FIRMWARE_OBJS = firmware/start.o firmware/irq.o firmware/print.o firmware/sieve.o firmware/multest.o firmware/stats.o
GCC_WARNS = -Wall -Wextra -Wshadow -Wundef
test: testbench.exe firmware/firmware.hex test: testbench.exe firmware/firmware.hex
vvp -N testbench.exe vvp -N testbench.exe
testbench.vcd: testbench.exe firmware/firmware.hex
vvp -N $< +vcd
testbench_view: testbench.vcd
gtkwave $< testbench.gtkw
test_sp: testbench_sp.exe firmware/firmware.hex test_sp: testbench_sp.exe firmware/firmware.hex
vvp -N testbench_sp.exe vvp -N testbench_sp.exe
@ -50,7 +57,7 @@ firmware/start.o: firmware/start.S
riscv64-unknown-elf-gcc -c -m32 -o $@ $< riscv64-unknown-elf-gcc -c -m32 -o $@ $<
firmware/%.o: firmware/%.c firmware/%.o: firmware/%.c
riscv64-unknown-elf-gcc -c -m32 -march=RV32I -Os -ffreestanding -nostdlib -o $@ $< riscv64-unknown-elf-gcc -c -m32 -march=RV32I -Os $(GCC_WARNS) -ffreestanding -nostdlib -o $@ $<
tests/%.o: tests/%.S tests/riscv_test.h tests/test_macros.h tests/%.o: tests/%.S tests/riscv_test.h tests/test_macros.h
riscv64-unknown-elf-gcc -c -m32 -o $@ -DTEST_FUNC_NAME=$(notdir $(basename $<)) \ riscv64-unknown-elf-gcc -c -m32 -o $@ -DTEST_FUNC_NAME=$(notdir $(basename $<)) \
@ -62,7 +69,7 @@ toc:
clean: clean:
rm -vrf $(FIRMWARE_OBJS) $(TEST_OBJS) \ rm -vrf $(FIRMWARE_OBJS) $(TEST_OBJS) \
firmware/firmware.{elf,bin,hex,map} synth.v \ firmware/firmware.{elf,bin,hex,map} synth.v \
testbench{,_sp,_axi,_synth}.exe testbench.vcd testbench.exe testbench_sp.exe testbench_axi.exe testbench_synth.exe testbench.vcd
.PHONY: test test_sp test_axi test_sync toc clean .PHONY: test test_sp test_axi test_sync toc clean

6
testbench.v
View File

@ -237,8 +237,10 @@ module testbench;
end end
initial begin initial begin
$dumpfile("testbench.vcd"); if ($test$plusargs("vcd")) begin
$dumpvars(0, testbench); $dumpfile("testbench.vcd");
$dumpvars(0, testbench);
end
repeat (1000000) @(posedge clk); repeat (1000000) @(posedge clk);
$display("TIMEOUT"); $display("TIMEOUT");
$finish; $finish;