From ed11d55f9c1fe00fd703d348ba0c54f76996e241 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 21 May 2019 12:03:47 +0100 Subject: add --- experiments/config_size_s.toml | 43 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 experiments/config_size_s.toml (limited to 'experiments/config_size_s.toml') diff --git a/experiments/config_size_s.toml b/experiments/config_size_s.toml new file mode 100644 index 0000000..bbd307a --- /dev/null +++ b/experiments/config_size_s.toml @@ -0,0 +1,43 @@ +[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 + +[[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" -- cgit From a056ff5ec91f95aab7cb502b20530d935d1774a8 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 22 May 2019 11:05:51 +0100 Subject: Add hat sampling to config --- experiments/config_size_s.toml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'experiments/config_size_s.toml') diff --git a/experiments/config_size_s.toml b/experiments/config_size_s.toml index bbd307a..c512253 100644 --- a/experiments/config_size_s.toml +++ b/experiments/config_size_s.toml @@ -23,6 +23,8 @@ module.max = 5 size = 15 statement.depth = 2 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" -- cgit