aboutsummaryrefslogtreecommitdiffstats
path: root/experiments
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-06-02 12:51:39 +0100
committerYann Herklotz <git@yannherklotz.com>2019-06-02 12:51:39 +0100
commitea15b7dfda1cf087a2810168543352d9fe1cbef4 (patch)
tree04a93bf81e75807aad2a57c9bab56bf56bf41f17 /experiments
parentc4e8774b40d3d7b1fcddaf5df37f04a123566a2d (diff)
downloadverismith-ea15b7dfda1cf087a2810168543352d9fe1cbef4.tar.gz
verismith-ea15b7dfda1cf087a2810168543352d9fe1cbef4.zip
Add extra experiments
Diffstat (limited to 'experiments')
-rw-r--r--experiments/config_yosys.toml33
-rw-r--r--experiments/quartus_all.toml33
2 files changed, 66 insertions, 0 deletions
diff --git a/experiments/config_yosys.toml b/experiments/config_yosys.toml
new file mode 100644
index 0000000..487ca2e
--- /dev/null
+++ b/experiments/config_yosys.toml
@@ -0,0 +1,33 @@
+[probability]
+ expr.binary = 5
+ expr.concatenation = 5
+ expr.number = 1
+ expr.rangeselect = 5
+ expr.signed = 5
+ expr.string = 0
+ expr.ternary = 5
+ expr.unary = 5
+ expr.unsigned = 5
+ expr.variable = 5
+ moditem.assign = 2
+ moditem.combinational = 0
+ moditem.instantiation = 0
+ moditem.sequential = 3
+ statement.blocking = 0
+ statement.conditional = 1
+ statement.forloop = 0
+ statement.nonblocking = 2
+
+[property]
+ module.depth = 2
+ module.max = 5
+ size = 20
+ statement.depth = 5
+ sample.method = "hat"
+ sample.size = 10
+
+[[synthesiser]]
+ description = "yosys"
+ name = "yosys"
+ output = "syn_yosys.v"
+ bin = "/home/ymh15/.local/bin"
diff --git a/experiments/quartus_all.toml b/experiments/quartus_all.toml
new file mode 100644
index 0000000..b6a7373
--- /dev/null
+++ b/experiments/quartus_all.toml
@@ -0,0 +1,33 @@
+[probability]
+ expr.binary = 5
+ expr.concatenation = 5
+ expr.number = 1
+ expr.rangeselect = 5
+ expr.signed = 5
+ expr.string = 0
+ expr.ternary = 5
+ expr.unary = 5
+ expr.unsigned = 5
+ expr.variable = 5
+ moditem.assign = 2
+ moditem.combinational = 0
+ moditem.instantiation = 0
+ moditem.sequential = 3
+ statement.blocking = 0
+ statement.conditional = 1
+ statement.forloop = 0
+ statement.nonblocking = 2
+
+[property]
+ module.depth = 2
+ module.max = 5
+ size = 20
+ statement.depth = 3
+ sample.method = "hat"
+ sample.size = 10
+
+[[synthesiser]]
+ description = "quartus"
+ name = "quartus"
+ output = "syn_quartus.v"
+ bin = "/usr/local/altera/18.1/quartus/bin"