diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2020-07-05 04:57:24 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2020-07-05 12:01:43 +0200 |
| commit | f3f55ae7c28628892a9c4d40711251c5784ca997 (patch) | |
| tree | 3a99c72bee7ab6437462949a2581f5f9efc59b11 | |
| parent | 7afcb72c98620adaace7cc9622c4d577668f9426 (diff) | |
| download | yosys-f3f55ae7c28628892a9c4d40711251c5784ca997.tar.gz yosys-f3f55ae7c28628892a9c4d40711251c5784ca997.tar.bz2 yosys-f3f55ae7c28628892a9c4d40711251c5784ca997.zip | |
dfflegalize: Prefer mapping dff to sdff before adff
This ensures that, when both sync and async FFs are available and abc9
is involved, the sync FFs will be used, and will thus remain available
for sequential synthesis.
| -rw-r--r-- | passes/techmap/dfflegalize.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/techmap/dfflegalize.cc b/passes/techmap/dfflegalize.cc index 7f2cdc6ac..b2fe90702 100644 --- a/passes/techmap/dfflegalize.cc +++ b/passes/techmap/dfflegalize.cc @@ -364,7 +364,7 @@ flip_dqi: // Some DFF is supported with this init val. Just pick a type. if (ff_type == FF_DFF) { // Try adding a set or reset pin. - for (auto new_type: {FF_ADFF0, FF_ADFF1, FF_SDFF0, FF_SDFF1}) + for (auto new_type: {FF_SDFF0, FF_SDFF1, FF_ADFF0, FF_ADFF1}) if (supported_cells[new_type] & initmask) { ff_type = new_type; sig_r = State::S0; |