riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add "cutpoint -undef" 

Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2019-03-26 16:01:14 +01:00
parent d0b9b1bece
commit 38b3fbd3f0
1 changed files with 14 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
passes/sat/cutpoint.cc
View File

@ -33,20 +33,24 @@ struct CutpointPass : public Pass {
log("\n"); log("\n");
log("This command adds formal cut points to the design.\n"); log("This command adds formal cut points to the design.\n");
log("\n"); log("\n");
log(" -undef\n");
log(" set cupoint nets to undef (x). the default behavior is to create a\n");
log(" $anyseq cell and drive the cutpoint net from that\n");
log("\n");
} }
void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
{ {
// bool flag_noinit = false; bool flag_undef = false;
log_header(design, "Executing CUTPOINT pass.\n"); log_header(design, "Executing CUTPOINT pass.\n");
size_t argidx; size_t argidx;
for (argidx = 1; argidx < args.size(); argidx++) for (argidx = 1; argidx < args.size(); argidx++)
{ {
// if (args[argidx] == "-noinit") { if (args[argidx] == "-undef") {
// flag_noinit = true; flag_undef = true;
// continue; continue;
// } }
break; break;
} }
extra_args(args, argidx, design); extra_args(args, argidx, design);
@ -63,7 +67,7 @@ struct CutpointPass : public Pass {
if (wire->port_output) if (wire->port_output)
output_wires.push_back(wire); output_wires.push_back(wire);
for (auto wire : output_wires) for (auto wire : output_wires)
module->connect(wire, module->Anyseq(NEW_ID, GetSize(wire))); module->connect(wire, flag_undef ? Const(State::Sx, GetSize(wire)) : module->Anyseq(NEW_ID, GetSize(wire)));
continue; continue;
} }
@ -76,7 +80,7 @@ struct CutpointPass : public Pass {
log("Removing cell %s.%s, making all cell outputs cutpoints.\n", log_id(module), log_id(cell)); log("Removing cell %s.%s, making all cell outputs cutpoints.\n", log_id(module), log_id(cell));
for (auto &conn : cell->connections()) { for (auto &conn : cell->connections()) {
if (cell->output(conn.first)) if (cell->output(conn.first))
module->connect(conn.second, module->Anyseq(NEW_ID, GetSize(conn.second))); module->connect(conn.second, flag_undef ? Const(State::Sx, GetSize(conn.second)) : module->Anyseq(NEW_ID, GetSize(conn.second)));
} }
module->remove(cell); module->remove(cell);
} }
@ -86,7 +90,7 @@ struct CutpointPass : public Pass {
log("Making output wire %s.%s a cutpoint.\n", log_id(module), log_id(wire)); log("Making output wire %s.%s a cutpoint.\n", log_id(module), log_id(wire));
Wire *new_wire = module->addWire(NEW_ID, wire); Wire *new_wire = module->addWire(NEW_ID, wire);
module->swap_names(wire, new_wire); module->swap_names(wire, new_wire);
module->connect(new_wire, module->Anyseq(NEW_ID, GetSize(new_wire))); module->connect(new_wire, flag_undef ? Const(State::Sx, GetSize(new_wire)) : module->Anyseq(NEW_ID, GetSize(new_wire)));
wire->port_id = 0; wire->port_id = 0;
wire->port_input = false; wire->port_input = false;
wire->port_output = false; wire->port_output = false;
@ -142,7 +146,7 @@ struct CutpointPass : public Pass {
rhs.append(SigBit(new_wire, i)); rhs.append(SigBit(new_wire, i));
} }
if (GetSize(lhs)) if (GetSize(lhs))
module->connect(lhs, rhs); module->connect(lhs, rhs);
module->swap_names(wire, new_wire); module->swap_names(wire, new_wire);
wire->port_id = 0; wire->port_id = 0;
wire->port_input = false; wire->port_input = false;
@ -154,7 +158,7 @@ struct CutpointPass : public Pass {
for (auto chunk : sig.chunks()) { for (auto chunk : sig.chunks()) {
SigSpec s(chunk); SigSpec s(chunk);
module->connect(s, module->Anyseq(NEW_ID, GetSize(s))); module->connect(s, flag_undef ? Const(State::Sx, GetSize(s)) : module->Anyseq(NEW_ID, GetSize(s)));
} }
} }
} }