diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-06-02 12:51:39 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-06-02 12:51:39 +0100 |
commit | ea15b7dfda1cf087a2810168543352d9fe1cbef4 (patch) | |
tree | 04a93bf81e75807aad2a57c9bab56bf56bf41f17 /experiments | |
parent | c4e8774b40d3d7b1fcddaf5df37f04a123566a2d (diff) | |
download | verismith-ea15b7dfda1cf087a2810168543352d9fe1cbef4.tar.gz verismith-ea15b7dfda1cf087a2810168543352d9fe1cbef4.zip |
Add extra experiments
Diffstat (limited to 'experiments')
-rw-r--r-- | experiments/config_yosys.toml | 33 | ||||
-rw-r--r-- | experiments/quartus_all.toml | 33 |
2 files changed, 66 insertions, 0 deletions
diff --git a/experiments/config_yosys.toml b/experiments/config_yosys.toml new file mode 100644 index 0000000..487ca2e --- /dev/null +++ b/experiments/config_yosys.toml @@ -0,0 +1,33 @@ +[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]] + description = "yosys" + name = "yosys" + output = "syn_yosys.v" + bin = "/home/ymh15/.local/bin" diff --git a/experiments/quartus_all.toml b/experiments/quartus_all.toml new file mode 100644 index 0000000..b6a7373 --- /dev/null +++ b/experiments/quartus_all.toml @@ -0,0 +1,33 @@ +[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 = 3 + sample.method = "hat" + sample.size = 10 + +[[synthesiser]] + description = "quartus" + name = "quartus" + output = "syn_quartus.v" + bin = "/usr/local/altera/18.1/quartus/bin" |