16 files changed, 689 insertions, 0 deletions
diff --git a/experiments/config_all.toml b/experiments/config_all.toml
new file mode 100644
index 0000000..06d399e
--- /dev/null
+++ b/experiments/config_all.toml
@@ -0,0 +1,45 @@
+[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 = 7
+  sample.method = "hat"
+  sample.size = 10
+
+[[synthesiser]]
+  description = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+  bin = "/home/ymh15/.local/bin"
+
+[[synthesiser]]
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+
+[[synthesiser]]
+  description = "xst"
+  name = "xst"
+  output = "syn_xst.v"
+  bin = "/usr/local/Xilinx/ise/ISE/bin/lin64"
diff --git a/experiments/config_extra_large.toml b/experiments/config_extra_large.toml
new file mode 100644
index 0000000..03469f7
--- /dev/null
+++ b/experiments/config_extra_large.toml
@@ -0,0 +1,45 @@
+[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 = 6
+  sample.method = "hat"
+  sample.size = 10
+
+[[synthesiser]]
+  description = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+  bin = "/home/ymh15/.local/bin"
+
+[[synthesiser]]
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+
+[[synthesiser]]
+  description = "xst"
+  name = "xst"
+  output = "syn_xst.v"
+  bin = "/usr/local/Xilinx/ise/ISE/bin/lin64"
diff --git a/experiments/config_large.toml b/experiments/config_large.toml
new file mode 100644
index 0000000..06d399e
--- /dev/null
+++ b/experiments/config_large.toml
@@ -0,0 +1,45 @@
+[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 = 7
+  sample.method = "hat"
+  sample.size = 10
+
+[[synthesiser]]
+  description = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+  bin = "/home/ymh15/.local/bin"
+
+[[synthesiser]]
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+
+[[synthesiser]]
+  description = "xst"
+  name = "xst"
+  output = "syn_xst.v"
+  bin = "/usr/local/Xilinx/ise/ISE/bin/lin64"
diff --git a/experiments/config_large_yosys.toml b/experiments/config_large_yosys.toml
new file mode 100644
index 0000000..c1f4837
--- /dev/null
+++ b/experiments/config_large_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 = 7
+  sample.method = "hat"
+  sample.size = 10
+
+[[synthesiser]]
+  description = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+  bin = "/home/ymh15/.local/bin"
diff --git a/experiments/config_medium.toml b/experiments/config_medium.toml
new file mode 100644
index 0000000..1f3ae0d
--- /dev/null
+++ b/experiments/config_medium.toml
@@ -0,0 +1,45 @@
+[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"
+
+[[synthesiser]]
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+
+[[synthesiser]]
+  description = "xst"
+  name = "xst"
+  output = "syn_xst.v"
+  bin = "/usr/local/Xilinx/ise/ISE/bin/lin64"
diff --git a/experiments/config_medium_rand.toml b/experiments/config_medium_rand.toml
new file mode 100644
index 0000000..905b904
--- /dev/null
+++ b/experiments/config_medium_rand.toml
@@ -0,0 +1,50 @@
+
+[info]
+  commit = "d14ec7f57e678fdf478d3c138fe74b03cf8f0523"
+  version = "0.3.0.0"
+
+[probability]
+  expr.binary = 5
+  expr.concatenation = 0
+  expr.number = 1
+  expr.rangeselect = 0
+  expr.signed = 0
+  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
+  sample.method = "hat"
+  sample.size = 10
+  size = 20
+  statement.depth = 5
+
+[[synthesiser]]
+  bin = "/home/ymh15/.local/bin"
+  description = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+
+[[synthesiser]]
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"
+
+[[synthesiser]]
+  bin = "/usr/local/Xilinx/ise/ISE/bin/lin64"
+  description = "xst"
+  name = "xst"
+  output = "syn_xst.v"
diff --git a/experiments/config_size_l.toml b/experiments/config_size_l.toml
new file mode 100644
index 0000000..535d745
--- /dev/null
+++ b/experiments/config_size_l.toml
@@ -0,0 +1,45 @@
+[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 = 25
+  statement.depth = 2
+  sample.method = "hat"
+  sample.size = 10
+
+[[synthesiser]]
+  description = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+  bin = "/home/ymh15/.local/bin"
+
+[[synthesiser]]
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+
+[[synthesiser]]
+  description = "xst"
+  name = "xst"
+  output = "syn_xst.v"
+  bin = "/usr/local/Xilinx/ise/ISE/bin/lin64"
diff --git a/experiments/config_size_m.toml b/experiments/config_size_m.toml
new file mode 100644
index 0000000..e0d1333
--- /dev/null
+++ b/experiments/config_size_m.toml
@@ -0,0 +1,45 @@
+[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 = 2
+  sample.method = "hat"
+  sample.size = 10
+
+[[synthesiser]]
+  description = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+  bin = "/home/ymh15/.local/bin"
+
+[[synthesiser]]
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+
+[[synthesiser]]
+  description = "xst"
+  name = "xst"
+  output = "syn_xst.v"
+  bin = "/usr/local/Xilinx/ise/ISE/bin/lin64"
diff --git a/experiments/config_size_s.toml b/experiments/config_size_s.toml
new file mode 100644
index 0000000..c512253
--- /dev/null
+++ b/experiments/config_size_s.toml
@@ -0,0 +1,45 @@
+[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 = 15
+  statement.depth = 2
+  sample.method = "hat"
+  sample.size = 10
+
+[[synthesiser]]
+  description = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+  bin = "/home/ymh15/.local/bin"
+
+[[synthesiser]]
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+
+[[synthesiser]]
+  description = "xst"
+  name = "xst"
+  output = "syn_xst.v"
+  bin = "/usr/local/Xilinx/ise/ISE/bin/lin64"
diff --git a/experiments/config_size_xl.toml b/experiments/config_size_xl.toml
new file mode 100644
index 0000000..52906c2
--- /dev/null
+++ b/experiments/config_size_xl.toml
@@ -0,0 +1,45 @@
+[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 = 30
+  statement.depth = 2
+  sample.method = "hat"
+  sample.size = 10
+
+[[synthesiser]]
+  description = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+  bin = "/home/ymh15/.local/bin"
+
+[[synthesiser]]
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+
+[[synthesiser]]
+  description = "xst"
+  name = "xst"
+  output = "syn_xst.v"
+  bin = "/usr/local/Xilinx/ise/ISE/bin/lin64"
diff --git a/experiments/config_small.toml b/experiments/config_small.toml
new file mode 100644
index 0000000..9cad0a0
--- /dev/null
+++ b/experiments/config_small.toml
@@ -0,0 +1,45 @@
+[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 = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+  bin = "/home/ymh15/.local/bin"
+
+[[synthesiser]]
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+
+[[synthesiser]]
+  description = "xst"
+  name = "xst"
+  output = "syn_xst.v"
+  bin = "/usr/local/Xilinx/ise/ISE/bin/lin64"
diff --git a/experiments/config_tiny.toml b/experiments/config_tiny.toml
new file mode 100644
index 0000000..9cad0a0
--- /dev/null
+++ b/experiments/config_tiny.toml
@@ -0,0 +1,45 @@
+[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 = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+  bin = "/home/ymh15/.local/bin"
+
+[[synthesiser]]
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+
+[[synthesiser]]
+  description = "xst"
+  name = "xst"
+  output = "syn_xst.v"
+  bin = "/usr/local/Xilinx/ise/ISE/bin/lin64"
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"
diff --git a/experiments/vivado_all.toml b/experiments/vivado_all.toml
new file mode 100644
index 0000000..5e575ec
--- /dev/null
+++ b/experiments/vivado_all.toml
@@ -0,0 +1,51 @@
+[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]]
+  name = "vivado"
+  description = "vivado_2018.2"
+  output = "syn_vivado_2018_2.v"
+  bin = "/usr/local/Xilinx/Vivado/2018.2/bin"
+
+[[synthesiser]]
+  name = "vivado"
+  description = "vivado_2017.4"
+  output = "syn_vivado_2017_4.v"
+  bin = "/usr/local/Xilinx/Vivado/2017.4/bin"
+
+[[synthesiser]]
+  name = "vivado"
+  description = "vivado_2016.2"
+  output = "syn_vivado_2016_2.v"
+  bin = "/usr/local/Xilinx/Vivado/2016.2/bin"
+
+[[synthesiser]]
+  name = "vivado"
+  description = "vivado_2016.1"
+  output = "syn_vivado_2016_1.v"
+  bin = "/usr/local/Xilinx/Vivado/2016.1/bin"
diff --git a/experiments/yosys_all.toml b/experiments/yosys_all.toml
new file mode 100644
index 0000000..2a425d1
--- /dev/null
+++ b/experiments/yosys_all.toml
@@ -0,0 +1,39 @@
+[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 = 7
+  sample.method = "hat"
+  sample.size = 10
+
+[[synthesiser]]
+  name = "yosys"
+  description = "yosys_0.8"
+  output = "yosys_0_8.v"
+  bin = "/home/ymh15/opt/yosys0.8/bin"
+
+[[synthesiser]]
+  name = "yosys"
+  description = "yosys_master"
+  output = "yosys_master.v"
+  bin = "/home/ymh15/.local/bin"