diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 19:49:20 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 19:49:20 +0100 |
| commit | 82604915aab691007abfa937fd5e90d646332034 (patch) | |
| tree | bfc5dc58fb469ec89896483621e8f15b160a36ca | |
| parent | bcc3050c9120287c48e3c3294e0eea8b99dd61cc (diff) | |
| download | vericert-kvx-82604915aab691007abfa937fd5e90d646332034.tar.gz vericert-kvx-82604915aab691007abfa937fd5e90d646332034.zip | |
Add scheduling by default to benchmark execution
| -rw-r--r-- | benchmarks/polybench-syn/common.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index fbada0b..4c6374f 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -1,5 +1,5 @@ VERICERT ?= vericert -VERICERT_OPTS ?= -DSYNTHESIS +VERICERT_OPTS ?= -DSYNTHESIS -fschedule IVERILOG ?= iverilog IVERILOG_OPTS ?= |