diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-07-21 13:37:25 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-21 13:37:25 +0200 |
commit | 30fbe26f59e54a276f88650ffa5e78343b5411eb (patch) | |
tree | aa3166c423f262ee6296826d2c815a0b54084c31 /experiments | |
parent | b5c035e45949945cc62845fa6492cffa77992524 (diff) | |
parent | c19a51a8156bbcaee13d9819c8fe54ed0ca5c4cc (diff) | |
download | verismith-30fbe26f59e54a276f88650ffa5e78343b5411eb.tar.gz verismith-30fbe26f59e54a276f88650ffa5e78343b5411eb.zip |
Merge branch 'master' into fix/resize-modports
Diffstat (limited to 'experiments')
-rw-r--r-- | experiments/config_all.toml | 45 | ||||
-rw-r--r-- | experiments/config_extra_large.toml | 45 | ||||
-rw-r--r-- | experiments/config_large.toml | 45 | ||||
-rw-r--r-- | experiments/config_large_yosys.toml | 33 | ||||
-rw-r--r-- | experiments/config_medium.toml | 45 | ||||
-rw-r--r-- | experiments/config_medium_rand.toml | 50 | ||||
-rw-r--r-- | experiments/config_size_l.toml | 45 | ||||
-rw-r--r-- | experiments/config_size_m.toml | 45 | ||||
-rw-r--r-- | experiments/config_size_s.toml | 45 | ||||
-rw-r--r-- | experiments/config_size_xl.toml | 45 | ||||
-rw-r--r-- | experiments/config_small.toml | 45 | ||||
-rw-r--r-- | experiments/config_tiny.toml | 45 | ||||
-rw-r--r-- | experiments/config_yosys.toml | 33 | ||||
-rw-r--r-- | experiments/quartus_all.toml | 33 | ||||
-rw-r--r-- | experiments/vivado_all.toml | 51 | ||||
-rw-r--r-- | experiments/yosys_all.toml | 39 |
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" |