diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-04-23 22:18:04 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-04-23 22:18:04 +0200 |
| commit | 4575e4ad86494e99dd05200f7242dfa632053c78 (patch) | |
| tree | 7e9d7b41dc8d873a6e6b1d2b927802dbffccdb8f /kernel | |
| parent | 71c38d9de527e1a8b55ba295df459fbcf2a0fe47 (diff) | |
| download | yosys-4575e4ad86494e99dd05200f7242dfa632053c78.tar.gz yosys-4575e4ad86494e99dd05200f7242dfa632053c78.tar.bz2 yosys-4575e4ad86494e99dd05200f7242dfa632053c78.zip | |
Improve $specrule interface
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/rtlil.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc index dae3698a9..3dd18c296 100644 --- a/kernel/rtlil.cc +++ b/kernel/rtlil.cc @@ -1223,7 +1223,8 @@ namespace { param_bool("\\SRC_POL"); param_bool("\\DST_PEN"); param_bool("\\DST_POL"); - param_bool("\\LIMIT_GT"); + param_bool("\\SKEW"); + param_bool("\\HOLD"); param("\\T_LIMIT"); port("\\SRC_EN", 1); port("\\DST_EN", 1); |