diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-09-03 15:16:24 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-09-03 15:16:24 +0200 |
| commit | 8bfd7c166bbb770acc3a155e52274161af1f4e9f (patch) | |
| tree | 97838a590cfc5ad083f20e79f5c207b4362d3952 /Makefile | |
| parent | d5b7e9e1756aa5afa1d7dd4eb2e069a7600f64e9 (diff) | |
| download | picorv32-8bfd7c166bbb770acc3a155e52274161af1f4e9f.tar.gz picorv32-8bfd7c166bbb770acc3a155e52274161af1f4e9f.zip | |
Added generic "make check-<solver>" rule
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 12 |
1 files changed, 5 insertions, 7 deletions
@@ -19,13 +19,11 @@ testbench.vcd: testbench.vvp firmware/firmware.hex view: testbench.vcd gtkwave $< testbench.gtkw -check-z3: check.smt2 - yosys-smtbmc -s z3 -t 30 --dump-vcd check.vcd check.smt2 - yosys-smtbmc -s z3 -t 30 --dump-vcd check.vcd -i check.smt2 +check: check-yices -check-yices: check.smt2 - yosys-smtbmc -s yices -t 30 --dump-vcd check.vcd check.smt2 - yosys-smtbmc -s yices -t 30 --dump-vcd check.vcd -i check.smt2 +check-%: check.smt2 + yosys-smtbmc -s $(subst check-,,$@) -t 30 --dump-vcd check.vcd check.smt2 + yosys-smtbmc -s $(subst check-,,$@) -t 30 --dump-vcd check.vcd -i check.smt2 check.smt2: picorv32.v yosys -v2 -p 'read_verilog -formal picorv32.v' \ @@ -137,5 +135,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 check-z3 check-yices download-tools build-tools toc clean +.PHONY: test view test_sp test_axi test_synth download-tools build-tools toc clean |