mirror of https://github.com/YosysHQ/yosys.git
Add outputs before inputs to the sigmap in the AIGER backend.
This commit is contained in:
parent
7efc50367e
commit
3861cc31f0
|
@ -119,16 +119,16 @@ struct AigerWriter
|
||||||
if (wire->name.isPublic())
|
if (wire->name.isPublic())
|
||||||
sigmap.add(wire);
|
sigmap.add(wire);
|
||||||
|
|
||||||
// promote input wires
|
|
||||||
for (auto wire : module->wires())
|
|
||||||
if (wire->port_input)
|
|
||||||
sigmap.add(wire);
|
|
||||||
|
|
||||||
// promote output wires
|
// promote output wires
|
||||||
for (auto wire : module->wires())
|
for (auto wire : module->wires())
|
||||||
if (wire->port_output)
|
if (wire->port_output)
|
||||||
sigmap.add(wire);
|
sigmap.add(wire);
|
||||||
|
|
||||||
|
// promote input wires
|
||||||
|
for (auto wire : module->wires())
|
||||||
|
if (wire->port_input)
|
||||||
|
sigmap.add(wire);
|
||||||
|
|
||||||
for (auto wire : module->wires())
|
for (auto wire : module->wires())
|
||||||
{
|
{
|
||||||
if (wire->attributes.count(ID::init)) {
|
if (wire->attributes.count(ID::init)) {
|
||||||
|
|
Loading…
Reference in New Issue