mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Handle __dummy_o__ and __const[01]__ in read_aiger not abc

Browse source
This commit is contained in:
Eddie Hung 2019-04-12 18:21:16 -07:00
parent 482a60825b
commit 9bfcd80063
2 changed files with 8 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
frontends/aiger/aigerparse.cc
View file

@ -477,6 +477,10 @@ next_line:
RTLIL::Wire* wire = outputs[variable]; RTLIL::Wire* wire = outputs[variable];
log_assert(wire); log_assert(wire);
log_assert(wire->port_output); log_assert(wire->port_output);
if (escaped_s.in("__dummy_o__", "__const0__", "__const1__")) {
wire->port_output = false;
continue;
}
if (index == 0) { if (index == 0) {
// Cope with the fact that a CO might be identical // Cope with the fact that a CO might be identical

22
passes/techmap/abc9.cc
View file

@ -546,11 +546,10 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *current_module, std::stri
output_bits.insert({wire, i}); output_bits.insert({wire, i});
} }
else { else {
if (w->name.in("\\__dummy_o__", "\\__const0__", "\\__const1__")) { //if (w->name == "\\__dummy_o__") {
//log("Don't call ABC as there is nothing to map.\n"); // log("Don't call ABC as there is nothing to map.\n");
//goto cleanup; // goto cleanup;
continue; //}
}
// Attempt another wideports_split here because there // Attempt another wideports_split here because there
// exists the possibility that different bits of a port // exists the possibility that different bits of a port
@ -875,19 +874,6 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *current_module, std::stri
RTLIL::Wire *w = it.second; RTLIL::Wire *w = it.second;
if (!w->port_input && !w->port_output) if (!w->port_input && !w->port_output)
continue; continue;
if (w->name == "\\__const0__") {
log_assert(w->port_output);
module->connect(w, RTLIL::S0);
continue;
}
if (w->name == "\\__const1__") {
log_assert(w->port_output);
module->connect(w, RTLIL::S1);
continue;
}
if (w->name == "\\__dummy_o__")
continue;
RTLIL::Wire *wire = module->wire(w->name); RTLIL::Wire *wire = module->wire(w->name);
RTLIL::Wire *remap_wire = module->wire(remap_name(w->name)); RTLIL::Wire *remap_wire = module->wire(remap_name(w->name));
RTLIL::SigSpec signal; RTLIL::SigSpec signal;