From b64141f48bcd0d8283ddbe849ccf794c8b12d780 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Tue, 15 Nov 2022 11:53:06 +0100 Subject: mention prerequisites in fsm_detect and fsm help --- passes/fsm/fsm.cc | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'passes/fsm/fsm.cc') diff --git a/passes/fsm/fsm.cc b/passes/fsm/fsm.cc index 0c5e624dc..8e7e09d4c 100644 --- a/passes/fsm/fsm.cc +++ b/passes/fsm/fsm.cc @@ -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 args, RTLIL::Design *design) override { -- cgit v1.2.3