diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-07-19 08:53:57 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-07-19 08:53:57 +0200 |
commit | 5321f82fb46a87ca372b10ba5729509871cc935a (patch) | |
tree | 599ab805c9a807e9883cbae2dac034162e95890f /benchmarks/polybench-syn | |
parent | aa753acd776638971abb5d9901cc99ef259cb314 (diff) | |
download | vericert-5321f82fb46a87ca372b10ba5729509871cc935a.tar.gz vericert-5321f82fb46a87ca372b10ba5729509871cc935a.zip |
Work on implementing abstract predicates
Diffstat (limited to 'benchmarks/polybench-syn')
-rw-r--r-- | benchmarks/polybench-syn/common.mk | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index e155e4a..877dd68 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -1,5 +1,5 @@ VERICERT ?= vericert -VERICERT_OPTS ?= -DSYNTHESIS -fschedule -fif-conv +VERICERT_OPTS ?= -DSYNTHESIS -fschedule -fif-conv -dgblseq -dgblpar IVERILOG ?= iverilog IVERILOG_OPTS ?= @@ -9,17 +9,17 @@ VERILATOR_OPTS ?= -Wno-fatal -Wno-lint -Wno-style -Wno-WIDTH --top main --exe $( TARGETS ?= -%.v: %.c +%.sv: %.c @echo -e "\033[0;35mMAKE\033[0m" $< $(VERICERT) $(VERICERT_OPTS) $< -o $@ -%.iver: %.v +%.iver: %.sv $(IVERILOG) -o $@ $(IVERILOG_OPTS) $< %.gcc: %.c $(CC) $(CFLAGS) $< -o $@ -%.verilator: %.v +%.verilator: %.sv $(VERILATOR) $(VERILATOR_OPTS) --Mdir $@ --cc $< @echo -e $(MAKE) -C $@ -f Vmain.mk @$(MAKE) -C $@ -f Vmain.mk &>/dev/null |