mirror of https://github.com/YosysHQ/picorv32.git
Add "make test_verilator"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
parent
147da6432a
commit
247a19dd58
8
Makefile
8
Makefile
|
@ -43,6 +43,9 @@ test_axi: testbench.vvp firmware/firmware.hex
|
|||
test_synth: testbench_synth.vvp firmware/firmware.hex
|
||||
vvp -N $<
|
||||
|
||||
test_verilator: testbench_verilator firmware/firmware.hex
|
||||
./testbench_verilator
|
||||
|
||||
testbench.vvp: testbench.v picorv32.v
|
||||
iverilog -o $@ $(subst C,-DCOMPRESSED_ISA,$(COMPRESSED_ISA)) $^
|
||||
chmod -x $@
|
||||
|
@ -67,6 +70,11 @@ testbench_synth.vvp: testbench.v synth.v
|
|||
iverilog -o $@ -DSYNTH_TEST $^
|
||||
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
|
||||
cp obj_dir/Vpicorv32_wrapper testbench_verilator
|
||||
|
||||
check: check-yices
|
||||
|
||||
check-%: check.smt2
|
||||
|
|
Loading…
Reference in New Issue