aboutsummaryrefslogtreecommitdiffstats
path: root/experiments/vivado_all.toml
diff options
context:
space:
mode:
Diffstat (limited to 'experiments/vivado_all.toml')
-rw-r--r--experiments/vivado_all.toml51
1 files changed, 51 insertions, 0 deletions
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"