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_large.toml | |
| parent | fca2988da194d41b04321ad46d7dd3b905613c15 (diff) | |
| download | verismith-a056ff5ec91f95aab7cb502b20530d935d1774a8.tar.gz verismith-a056ff5ec91f95aab7cb502b20530d935d1774a8.zip | |
Add hat sampling to config
Diffstat (limited to 'experiments/config_large.toml')
| -rw-r--r-- | experiments/config_large.toml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/experiments/config_large.toml b/experiments/config_large.toml index cbe828c..06d399e 100644 --- a/experiments/config_large.toml +++ b/experiments/config_large.toml @@ -23,6 +23,8 @@ module.max = 5 size = 20 statement.depth = 7 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" |