mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity

Added "make mklibyosys", some minor API changes

Browse source
This commit is contained in:
Clifford Wolf 2015-02-01 13:38:46 +01:00
parent 3fe2441185
commit 1df81f92ce
7 changed files with 70 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

10
techlibs/common/synth.cc
View file

@ -55,6 +55,9 @@ struct SynthPass : public Pass {
log(" -encfile <file>\n");
log(" passed to 'fsm_recode' via 'fsm'\n");
log("\n");
log(" -noabc\n");
log(" do not run abc (as if yosys was compiled without ABC support)\n");
log("\n");
log(" -run <from_label>[:<to_label>]\n");
log(" only run the commands between the labels (see below). an empty\n");
log(" from label is synonymous to 'begin', and empty to label is\n");
@ -96,6 +99,7 @@ struct SynthPass : public Pass {
{
std::string top_module, fsm_opts;
std::string run_from, run_to;
bool noabc = false;
size_t argidx;
for (argidx = 1; argidx < args.size(); argidx++)
@ -119,6 +123,10 @@ struct SynthPass : public Pass {
}
continue;
}
if (args[argidx] == "-noabc") {
noabc = true;
continue;
}
break;
}
extra_args(args, argidx, design);
@ -163,7 +171,7 @@ struct SynthPass : public Pass {
}
#ifdef YOSYS_ENABLE_ABC
if (check_label(active, run_from, run_to, "abc"))
if (check_label(active, run_from, run_to, "abc") && !noabc)
{
Pass::call(design, "abc -fast");
Pass::call(design, "opt -fast");