diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-22 11:05:51 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-22 11:05:51 +0100 |
commit | a056ff5ec91f95aab7cb502b20530d935d1774a8 (patch) | |
tree | d4470168420fee10385074b7f577c32295ddbc1d /experiments/config_medium.toml | |
parent | fca2988da194d41b04321ad46d7dd3b905613c15 (diff) | |
download | verismith-a056ff5ec91f95aab7cb502b20530d935d1774a8.tar.gz verismith-a056ff5ec91f95aab7cb502b20530d935d1774a8.zip |
Add hat sampling to config
Diffstat (limited to 'experiments/config_medium.toml')
-rw-r--r-- | experiments/config_medium.toml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/experiments/config_medium.toml b/experiments/config_medium.toml index 683e74f..1f3ae0d 100644 --- a/experiments/config_medium.toml +++ b/experiments/config_medium.toml @@ -23,6 +23,8 @@ module.max = 5 size = 20 statement.depth = 5 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" |