mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-04 02:10:24 +00:00
Code Activity

Added "fsm -encfile"

Browse source
This commit is contained in:
Clifford Wolf 2015-01-30 22:46:53 +01:00
parent aabd5097ed
commit bedd46338f
3 changed files with 50 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

10
passes/fsm/fsm.cc
View file

@ -61,6 +61,7 @@ struct FsmPass : public Pass {
log("\n");
log(" -encoding tye\n");
log(" -fm_set_fsm_file file\n");
log(" -encfile file\n");
log(" passed through to fsm_recode pass\n");
log("\n");
}
@ -72,6 +73,7 @@ struct FsmPass : public Pass {
bool flag_expand = false;
bool flag_export = false;
std::string fm_set_fsm_file_opt;
std::string encfile_opt;
std::string encoding_opt;
log_header("Executing FSM pass (extract and optimize FSM).\n");
@ -84,7 +86,11 @@ struct FsmPass : public Pass {
fm_set_fsm_file_opt = " -fm_set_fsm_file " + args[++argidx];
continue;
}
if (arg == "-encoding" && argidx+1 < args.size() && fm_set_fsm_file_opt.empty()) {
if (arg == "-encfile" && argidx+1 < args.size() && encfile_opt.empty()) {
encfile_opt = " -encfile " + args[++argidx];
continue;
}
if (arg == "-encoding" && argidx+1 < args.size() && encoding_opt.empty()) {
encoding_opt = " -encoding " + args[++argidx];
continue;
}
@ -127,7 +133,7 @@ struct FsmPass : public Pass {
}
if (!flag_norecode)
Pass::call(design, "fsm_recode" + fm_set_fsm_file_opt + encoding_opt);
Pass::call(design, "fsm_recode" + fm_set_fsm_file_opt + encfile_opt + encoding_opt);
Pass::call(design, "fsm_info");
if (flag_export)