aboutsummaryrefslogtreecommitdiffstats
path: root/experiments/vivado_all.toml
blob: 5e575ec4b4d72c700a03693ecd8e7d9cbaf90db9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
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"