mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Include output ports with constant driver in AIGER output

Browse source
This commit is contained in:
Clifford Wolf 2017-07-03 14:53:17 +02:00
parent ea805af6f5
commit 287831dca3
1 changed files with 18 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

20
backends/aiger/aiger.cc
View file

@ -112,10 +112,20 @@ struct AigerWriter
init_map[initsig[i]] = initval[i] == State::S1; init_map[initsig[i]] = initval[i] == State::S1;
} }
int index = 0;
for (auto bit : sigmap(wire)) for (auto bit : sigmap(wire))
{ {
if (bit.wire == nullptr) if (bit.wire == nullptr)
{
if (wire->port_output) {
SigBit wirebit(wire, index);
aig_map[wirebit] = (bit == State::S1) ? 1 : 0;
output_bits.insert(wirebit);
}
index++;
continue; continue;
}
undriven_bits.insert(bit); undriven_bits.insert(bit);
unused_bits.insert(bit); unused_bits.insert(bit);
@ -125,6 +135,8 @@ struct AigerWriter
if (wire->port_output) if (wire->port_output)
output_bits.insert(bit); output_bits.insert(bit);
index++;
} }
} }
@ -495,8 +507,12 @@ struct AigerWriter
for (int i = 0; i < GetSize(wire); i++) for (int i = 0; i < GetSize(wire); i++)
{ {
if (sig[i].wire == nullptr) if (sig[i].wire == nullptr) {
continue; if (wire->port_output)
sig[i] = SigBit(wire, i);
else
continue;
}
if (wire->port_input) { if (wire->port_input) {
int a = aig_map.at(sig[i]); int a = aig_map.at(sig[i]);