From e323bbeab91f8f6f56b5cec1def1f5e8638736d1 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 25 May 2019 19:59:41 +0100 Subject: Add more experiments --- experiments/vivado_all.toml | 51 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100644 experiments/vivado_all.toml (limited to 'experiments/vivado_all.toml') diff --git a/experiments/vivado_all.toml b/experiments/vivado_all.toml new file mode 100644 index 0000000..50c5e7b --- /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 = 7 + 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" -- cgit From 87b0f99853072ad1b17b380726b3807f6f4f91d4 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 26 May 2019 16:25:40 +0100 Subject: Add changes to work with older Vivado --- experiments/vivado_all.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'experiments/vivado_all.toml') diff --git a/experiments/vivado_all.toml b/experiments/vivado_all.toml index 50c5e7b..5e575ec 100644 --- a/experiments/vivado_all.toml +++ b/experiments/vivado_all.toml @@ -22,7 +22,7 @@ module.depth = 2 module.max = 5 size = 20 - statement.depth = 7 + statement.depth = 5 sample.method = "hat" sample.size = 10 -- cgit