From 7377b2e83143fc45f83b0abc974aafbf6b6a3dfe Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 18 Sep 2019 19:06:44 +0200 Subject: Add more scripts --- scripts/config.toml | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 scripts/config.toml (limited to 'scripts/config.toml') diff --git a/scripts/config.toml b/scripts/config.toml new file mode 100644 index 0000000..edc094d --- /dev/null +++ b/scripts/config.toml @@ -0,0 +1,40 @@ + +[info] + commit = "562f0da77e0464bfc21e8753070aec1cf9e60cf2" + version = "0.2.0.0" + +[probability] + expr.binary = 5 + expr.concatenation = 3 + 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 = 5 + moditem.combinational = 1 + moditem.instantiation = 1 + moditem.sequential = 1 + statement.blocking = 0 + statement.conditional = 1 + statement.forloop = 0 + statement.nonblocking = 3 + +[property] + module.depth = 2 + module.max = 1 + size = 10 + statement.depth = 3 + +[[synthesiser]] + description = "yosys" + name = "yosys" + output = "syn_yosys.v" + +[[synthesiser]] + description = "vivado" + name = "vivado" + output = "syn_vivado.v" -- cgit