diff options
author | gatecat <gatecat@ds0.me> | 2021-05-12 20:06:25 +0100 |
---|---|---|
committer | gatecat <gatecat@ds0.me> | 2021-05-15 14:54:33 +0100 |
commit | 7574eab2b603bd850d6f3819d2183d8600b59cd3 (patch) | |
tree | 0fb57e05b3a14ff1f7e0a7ae2230d3fafb9c771e | |
parent | 18e05ec85258bc37baff9028d775c43741725d20 (diff) | |
download | nextpnr-7574eab2b603bd850d6f3819d2183d8600b59cd3.tar.gz nextpnr-7574eab2b603bd850d6f3819d2183d8600b59cd3.tar.bz2 nextpnr-7574eab2b603bd850d6f3819d2183d8600b59cd3.zip |
mistral: FF validity checking fixes
Signed-off-by: gatecat <gatecat@ds0.me>
-rw-r--r-- | mistral/lab.cc | 20 |
1 files changed, 13 insertions, 7 deletions
diff --git a/mistral/lab.cc b/mistral/lab.cc index e93ef8a8..0719b37b 100644 --- a/mistral/lab.cc +++ b/mistral/lab.cc @@ -190,10 +190,16 @@ void Arch::create_lab(int x, int y) // Cell handling and annotation functions namespace { -ControlSig get_ctrlsig(const CellInfo *cell, IdString port) +ControlSig get_ctrlsig(const Context *ctx, const CellInfo *cell, IdString port, bool explicit_const = false) { ControlSig result; result.net = get_net_or_empty(cell, port); + if (result.net == nullptr && explicit_const) { + // For ENA, 1 (and 0) are explicit control set choices even though they aren't routed, as "no ENA" still + // consumes a clock+ENA pair + CellPinState st = PIN_1; + result.net = ctx->nets.at((st == PIN_1) ? ctx->id("$PACKER_VCC_NET") : ctx->id("$PACKER_GND_NET")).get(); + } if (cell->pin_data.count(port)) result.inverted = cell->pin_data.at(port).state == PIN_INV; else @@ -281,11 +287,11 @@ void Arch::assign_comb_info(CellInfo *cell) const void Arch::assign_ff_info(CellInfo *cell) const { - cell->ffInfo.ctrlset.clk = get_ctrlsig(cell, id_CLK); - cell->ffInfo.ctrlset.ena = get_ctrlsig(cell, id_ENA); - cell->ffInfo.ctrlset.aclr = get_ctrlsig(cell, id_ACLR); - cell->ffInfo.ctrlset.sclr = get_ctrlsig(cell, id_SCLR); - cell->ffInfo.ctrlset.sload = get_ctrlsig(cell, id_SLOAD); + cell->ffInfo.ctrlset.clk = get_ctrlsig(getCtx(), cell, id_CLK); + cell->ffInfo.ctrlset.ena = get_ctrlsig(getCtx(), cell, id_ENA, true); + cell->ffInfo.ctrlset.aclr = get_ctrlsig(getCtx(), cell, id_ACLR); + cell->ffInfo.ctrlset.sclr = get_ctrlsig(getCtx(), cell, id_SCLR); + cell->ffInfo.ctrlset.sload = get_ctrlsig(getCtx(), cell, id_SLOAD); cell->ffInfo.sdata = get_net_or_empty(cell, id_SDATA); cell->ffInfo.datain = get_net_or_empty(cell, id_DATAIN); } @@ -416,7 +422,7 @@ bool Arch::is_lab_ctrlset_legal(uint32_t lab) const { // Strictly speaking the constraint is up to 2 unique CLK and 3 CLK+ENA pairs. For now we simplify this to 1 CLK and // 3 ENA though. - ControlSig clk, sload, sclr; + ControlSig clk{}, sload{}, sclr{}; std::array<ControlSig, 2> aclr{}; std::array<ControlSig, 3> ena{}; |