mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 09:55:20 +00:00
Code Activity

assertpmux: Fix crash on unused $pmux output.

Browse source 
Fixes #2595.
This commit is contained in:
Marcelina Kościelnicka 2021-02-22 22:02:48 +01:00
parent 01ccb80b70
commit 4746ffd7b2
2 changed files with 19 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
passes/sat/assertpmux.cc
View file

@ -88,7 +88,7 @@ struct AssertpmuxWorker
{ {
SigSpec output; SigSpec output;
for (auto muxuser : sigbit_muxusers.at(bit)) for (auto muxuser : sigbit_muxusers[bit])
{ {
Cell *cell = std::get<0>(muxuser); Cell *cell = std::get<0>(muxuser);
int portidx = std::get<1>(muxuser); int portidx = std::get<1>(muxuser);

18
tests/sat/bug2595.ys Normal file
View file

@ -0,0 +1,18 @@
read_ilang <<EOT
module \top
wire input 3 \A
wire width 2 input 2 \B
wire width 2 input 1 \S
wire \Y
cell $pmux \my_pmux
parameter signed \S_WIDTH 2
parameter signed \WIDTH 1
connect \A \A
connect \B \B
connect \S \S
connect \Y \Y
end
end
EOT
assertpmux