diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc index f21c8ee2a..e37031314 100644 --- a/libs/ezsat/ezsat.cc +++ b/libs/ezsat/ezsat.cc @@ -24,6 +24,9 @@ #include #include +const int ezSAT::TRUE = 1; +const int ezSAT::FALSE = 2; + ezSAT::ezSAT() { literal("TRUE"); diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h index 8371071ed..2674d83df 100644 --- a/libs/ezsat/ezsat.h +++ b/libs/ezsat/ezsat.h @@ -44,8 +44,8 @@ public: OpNot, OpAnd, OpOr, OpXor, OpIFF, OpITE }; - const int TRUE = 1; - const int FALSE = 2; + static const int TRUE; + static const int FALSE; private: std::map literalsCache; diff --git a/passes/cmds/Makefile.inc b/passes/cmds/Makefile.inc index 9bf0fe658..166e91590 100644 --- a/passes/cmds/Makefile.inc +++ b/passes/cmds/Makefile.inc @@ -2,3 +2,4 @@ OBJS += passes/cmds/select.o OBJS += passes/cmds/show.o OBJS += passes/cmds/rename.o +OBJS += passes/cmds/scatter.o diff --git a/passes/cmds/scatter.cc b/passes/cmds/scatter.cc new file mode 100644 index 000000000..c396819a7 --- /dev/null +++ b/passes/cmds/scatter.cc @@ -0,0 +1,72 @@ +/* + * 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/celltypes.h" +#include "kernel/rtlil.h" +#include "kernel/log.h" + +struct ScatterPass : public Pass { + ScatterPass() : Pass("scatter", "add additional intermediate nets") { } + virtual void help() + { + // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| + log("\n"); + log(" scatter [selection]\n"); + log("\n"); + log("This command adds additional intermediate nets on all cell ports. This is used\n"); + log("for testing the correct use of the SigMap halper in passes. If you don't know\n"); + log("what this means: don't worry -- you only need this pass when testing your own\n"); + log("extensions to Yosys.\n"); + log("\n"); + log("Use the opt_clean command to get rid of the additional nets.\n"); + log("\n"); + } + virtual void execute(std::vector args, RTLIL::Design *design) + { + CellTypes ct(design); + extra_args(args, 1, design); + + for (auto &mod_it : design->modules) + { + if (!design->selected(mod_it.second)) + continue; + + for (auto &c : mod_it.second->cells) + for (auto &p : c.second->connections) + { + RTLIL::Wire *wire = new RTLIL::Wire; + wire->name = NEW_ID; + wire->width = p.second.width; + mod_it.second->add(wire); + + if (ct.cell_output(c.second->type, p.first)) { + RTLIL::SigSig sigsig(p.second, wire); + mod_it.second->connections.push_back(sigsig); + } else { + RTLIL::SigSig sigsig(wire, p.second); + mod_it.second->connections.push_back(sigsig); + } + + p.second = wire; + } + } + } +} ScatterPass; + diff --git a/passes/cmds/show.cc b/passes/cmds/show.cc index 4ed4a95cb..cb5ea379d 100644 --- a/passes/cmds/show.cc +++ b/passes/cmds/show.cc @@ -517,7 +517,7 @@ struct ShowPass : public Pass { log(" more than one library.\n"); log("\n"); log(" -prefix \n"); - log(" generate .dot and .ps instead of yosys-show.{dot,ps}\n"); + log(" generate .dot and .ps instead of ~/.yosys_show.{dot,ps}\n"); log("\n"); log(" -color \n"); log(" assign the specified color to the specified wire. The object can be\n"); @@ -539,7 +539,7 @@ struct ShowPass : public Pass { log("When no is specified, SVG is used. When no and is\n"); log("specified, 'yosys-svgviewer' is used to display the schematic.\n"); log("\n"); - log("The generated output files are 'yosys-show.dot' and 'yosys-show.',\n"); + log("The generated output files are '~/.yosys_show.dot' and '~/.yosys_show.',\n"); log("unless another prefix is specified using -prefix .\n"); log("\n"); } @@ -553,7 +553,7 @@ struct ShowPass : public Pass { std::string format; std::string viewer_exe; - std::string prefix = "yosys-show"; + std::string prefix = stringf("%s/.yosys_show", getenv("HOME") ? getenv("HOME") : "."); std::vector libfiles; std::vector libs; uint32_t colorSeed = 0;