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

mention prerequisites in fsm_detect and fsm help

This commit is contained in:
N. Engelhardt 2022-11-15 11:53:06 +01:00 committed by N. Engelhardt
parent e56c689962
commit b64141f48b
2 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
passes/fsm/fsm.cc
View File

@ -67,6 +67,15 @@ struct FsmPass : public Pass {
log(" -encfile file\n");
log(" passed through to fsm_recode pass\n");
log("\n");
log("This pass uses a subset of FF types to detect FSMs. Run 'opt -nosdff -nodffe'\n");
log("before this pass to prepare the design.\n");
log("\n");
#ifdef YOSYS_ENABLE_VERIFIC
log("The Verific frontend may merge multiplexers in a way that interferes with FSM\n");
log("detection. Run 'verific -cfg db_infer_wide_muxes_post_elaboration 0' before\n");
log("reading the source, and 'bmuxmap' after 'proc' for best results.\n");
log("\n");
#endif
}
void execute(std::vector<std::string> args, RTLIL::Design *design) override
{

9
passes/fsm/fsm_detect.cc
View File

@ -272,6 +272,15 @@ struct FsmDetectPass : public Pass {
log("Signals can be protected from being detected by this pass by setting the\n");
log("'fsm_encoding' attribute to \"none\".\n");
log("\n");
log("This pass uses a subset of FF types to detect FSMs. Run 'opt -nosdff -nodffe'\n");
log("before this pass to prepare the design for fsm_detect.\n");
log("\n");
#ifdef YOSYS_ENABLE_VERIFIC
log("The Verific frontend may merge multiplexers in a way that interferes with FSM\n");
log("detection. Run 'verific -cfg db_infer_wide_muxes_post_elaboration 0' before\n");
log("reading the source, and 'bmuxmap' after 'proc' for best results.\n");
log("\n");
#endif
}
void execute(std::vector<std::string> args, RTLIL::Design *design) override
{