aboutsummaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-10-18 14:28:43 +0100
committerYann Herklotz <git@yannherklotz.com>2019-10-18 14:28:43 +0100
commit349c1fa290c068a0f4100469e7485d062dd995ce (patch)
tree43696a4bcb10afe01aa150362088d3a6fd6a7f10 /scripts
parent3c0f80bebe8411f978da81dbba058d3a96d31ee5 (diff)
downloadverismith-349c1fa290c068a0f4100469e7485d062dd995ce.tar.gz
verismith-349c1fa290c068a0f4100469e7485d062dd995ce.zip
Update default configuration
Diffstat (limited to 'scripts')
-rw-r--r--scripts/config.toml23
1 files changed, 10 insertions, 13 deletions
diff --git a/scripts/config.toml b/scripts/config.toml
index edc094d..15e961f 100644
--- a/scripts/config.toml
+++ b/scripts/config.toml
@@ -14,27 +14,24 @@
expr.unary = 5
expr.unsigned = 5
expr.variable = 5
- moditem.assign = 5
- moditem.combinational = 1
+ moditem.assign = 2
+ moditem.combinational = 0
moditem.instantiation = 1
- moditem.sequential = 1
+ moditem.sequential = 3
statement.blocking = 0
statement.conditional = 1
- statement.forloop = 0
- statement.nonblocking = 3
+ statement.forloop = 1
+ statement.nonblocking = 2
[property]
module.depth = 2
- module.max = 1
- size = 10
- statement.depth = 3
+ module.max = 5
+ size = 20
+ statement.depth = 5
+ sample.method = "hat"
+ sample.size = 10
[[synthesiser]]
description = "yosys"
name = "yosys"
output = "syn_yosys.v"
-
-[[synthesiser]]
- description = "vivado"
- name = "vivado"
- output = "syn_vivado.v"