diff options
| author | Jannis Harder <me@jix.one> | 2022-08-02 15:49:51 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-08-16 13:37:30 +0200 |
| commit | a5e1d3b9974668b4ab526a6b77ca96f1aa16d01f (patch) | |
| tree | 0c4308ab9831f550d6e6d34a79239b569944c427 /kernel | |
| parent | c0063288d699f4f3edf5e0ff6ee1bd5cfa9ac884 (diff) | |
| download | yosys-a5e1d3b9974668b4ab526a6b77ca96f1aa16d01f.tar.gz yosys-a5e1d3b9974668b4ab526a6b77ca96f1aa16d01f.tar.bz2 yosys-a5e1d3b9974668b4ab526a6b77ca96f1aa16d01f.zip | |
formalff: Set new replaced_by_gclk attribute on removed dff's clks
This attribute can be used by formal backends to indicate which clocks
were mapped to the global clock. Update the btor and smt2 backend which
already handle clock inputs to understand this attribute.
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/constids.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/constids.inc b/kernel/constids.inc index 0f6dfc29b..239381f85 100644 --- a/kernel/constids.inc +++ b/kernel/constids.inc @@ -171,6 +171,7 @@ X(RD_TRANSPARENCY_MASK) X(RD_TRANSPARENT) X(RD_WIDE_CONTINUATION) X(reg) +X(replaced_by_gclk) X(reprocess_after) X(rom_block) X(rom_style) |