From: Clifford Wolf Date: Fri, 3 Jan 2014 11:33:00 +0000 (+0100) Subject: Added "connect" command X-Git-Tag: yosys-0.2.0~189 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=914e208aa3b6d52d3a4145525d15c4fba237fd87;p=yosys.git Added "connect" command --- diff --git a/passes/cmds/Makefile.inc b/passes/cmds/Makefile.inc index 24d6075b2..9e96ff361 100644 --- a/passes/cmds/Makefile.inc +++ b/passes/cmds/Makefile.inc @@ -4,6 +4,7 @@ OBJS += passes/cmds/design.o OBJS += passes/cmds/select.o OBJS += passes/cmds/show.o OBJS += passes/cmds/rename.o +OBJS += passes/cmds/connect.o OBJS += passes/cmds/scatter.o OBJS += passes/cmds/splitnets.o OBJS += passes/cmds/stat.o diff --git a/passes/cmds/connect.cc b/passes/cmds/connect.cc new file mode 100644 index 000000000..7a54e8dc6 --- /dev/null +++ b/passes/cmds/connect.cc @@ -0,0 +1,185 @@ +/* + * yosys -- Yosys Open SYnthesis Suite + * + * Copyright (C) 2012 Clifford Wolf + * + * Permission to use, copy, modify, and/or distribute this software for any + * purpose with or without fee is hereby granted, provided that the above + * copyright notice and this permission notice appear in all copies. + * + * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES + * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF + * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR + * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES + * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN + * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF + * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. + * + */ + +#include "kernel/register.h" +#include "kernel/rtlil.h" +#include "kernel/sigtools.h" +#include "kernel/celltypes.h" +#include "kernel/log.h" + +static void unset_drivers(RTLIL::Design *design, RTLIL::Module *module, SigMap &sigmap, RTLIL::SigSpec &sig) +{ + CellTypes ct(design); + + RTLIL::Wire *dummy_wire = module->new_wire(sig.width, NEW_ID); + + for (auto &it : module->cells) + for (auto &port : it.second->connections) + if (ct.cell_output(it.second->type, port.first)) + sigmap(port.second).replace(sig, dummy_wire, &port.second); + + for (auto &conn : module->connections) + sigmap(conn.first).replace(sig, dummy_wire, &conn.first); +} + +struct ConnectPass : public Pass { + ConnectPass() : Pass("connect", "create or remove connections") { } + virtual void help() + { + // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| + log("\n"); + log(" connect [-nomap] [-nounset] -set \n"); + log("\n"); + log("Create a connection. This is equivialent to adding the statement 'assign\n"); + log(" = ;' to the verilog input. Per default, all existing\n"); + log("drivers for are unconnected. This can be overwritten by using\n"); + log("the -nounset option.\n"); + log("\n"); + log("\n"); + log(" connect [-nomap] -unset \n"); + log("\n"); + log("Unconnect all existing drivers for the specified expression.\n"); + log("\n"); + log("\n"); + log(" connect [-nomap] -port \n"); + log("\n"); + log("Connect the specified cell port to the specified cell port.\n"); + log("\n"); + log("\n"); + log("Per default signal alias names are resolved and all signal names are mapped\n"); + log("the the signal name of the primary driver. Using the -nomap option deactivates\n"); + log("this behavior.\n"); + log("\n"); + log("The connect command operates in one module only. Either only one module must\n"); + log("be selected or an active module must be set using the 'cd' command.\n"); + log("\n"); + log("This command does not operate on module with processes.\n"); + log("\n"); + } + virtual void execute(std::vector args, RTLIL::Design *design) + { + RTLIL::Module *module = NULL; + for (auto &it : design->modules) { + if (!design->selected(it.second)) + continue; + if (module != NULL) + log_cmd_error("Multiple modules selected: %s, %s\n", RTLIL::id2cstr(module->name), RTLIL::id2cstr(it.first)); + module = it.second; + } + if (module == NULL) + log_cmd_error("No modules selected.\n"); + if (!module->processes.empty()) + log_cmd_error("Found processes in selected module.\n"); + + bool flag_nounset = false, flag_nomap = false; + std::string set_lhs, set_rhs, unset_expr; + std::string port_cell, port_port, port_expr; + + size_t argidx; + for (argidx = 1; argidx < args.size(); argidx++) + { + std::string arg = args[argidx]; + if (arg == "-nounset") { + flag_nounset = true; + continue; + } + if (arg == "-nomap") { + flag_nomap = true; + continue; + } + if (arg == "-set" && argidx+2 < args.size()) { + set_lhs = args[++argidx]; + set_rhs = args[++argidx]; + continue; + } + if (arg == "-unset" && argidx+1 < args.size()) { + unset_expr = args[++argidx]; + continue; + } + if (arg == "-port" && argidx+3 < args.size()) { + port_cell = args[++argidx]; + port_port = args[++argidx]; + port_expr = args[++argidx]; + continue; + } + break; + } + + SigMap sigmap; + if (!flag_nomap) + for (auto &it : module->connections) { + std::vector lhs = it.first.to_sigbit_vector(); + std::vector rhs = it.first.to_sigbit_vector(); + for (size_t i = 0; i < lhs.size(); i++) + if (rhs[i].wire != NULL) + sigmap.add(lhs[i], rhs[i]); + } + + if (!set_lhs.empty()) + { + if (!unset_expr.empty() || !port_cell.empty()) + log_cmd_error("Cant use -set together with -unset and/or -port.\n"); + + RTLIL::SigSpec sig_lhs, sig_rhs; + if (!RTLIL::SigSpec::parse(sig_lhs, module, set_lhs)) + log_cmd_error("Failed to parse set lhs expression `%s'.\n", set_lhs.c_str()); + if (!RTLIL::SigSpec::parse_rhs(sig_lhs, sig_rhs, module, set_rhs)) + log_cmd_error("Failed to parse set rhs expression `%s'.\n", set_rhs.c_str()); + + sigmap.apply(sig_lhs); + sigmap.apply(sig_rhs); + + if (!flag_nounset) + unset_drivers(design, module, sigmap, sig_lhs); + + module->connections.push_back(RTLIL::SigSig(sig_lhs, sig_rhs)); + } + else + if (!unset_expr.empty()) + { + if (!port_cell.empty() || flag_nounset) + log_cmd_error("Cant use -unset together with -port and/or -nounset.\n"); + + RTLIL::SigSpec sig; + if (!RTLIL::SigSpec::parse(sig, module, unset_expr)) + log_cmd_error("Failed to parse unset expression `%s'.\n", unset_expr.c_str()); + + sigmap.apply(sig); + unset_drivers(design, module, sigmap, sig); + } + else + if (!port_cell.empty()) + { + if (flag_nounset) + log_cmd_error("Cant use -port together with -nounset.\n"); + + if (module->cells.count(RTLIL::escape_id(port_cell)) == 0) + log_cmd_error("Can't find cell %s.\n", port_cell.c_str()); + + RTLIL::SigSpec sig; + if (!RTLIL::SigSpec::parse(sig, module, port_expr)) + log_cmd_error("Failed to parse port expression `%s'.\n", port_expr.c_str()); + + module->cells.at(RTLIL::escape_id(port_cell))->connections[RTLIL::escape_id(port_port)] = sigmap(sig); + } + else + log_cmd_error("Expected -set, -unset, or -port.\n"); + } +} ConnectPass; +