diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-11-02 13:15:49 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-11-02 13:15:49 +0100 |
| commit | b63cace90fc171270f45a4f94cbdd98043610029 (patch) | |
| tree | 3497134bdcfc81fd9990edc589f5a2edda29f639 /passes/fsm | |
| parent | 0c8e973d32748aa1808361d3560a928ed958475b (diff) | |
| download | yosys-b63cace90fc171270f45a4f94cbdd98043610029.tar.gz yosys-b63cace90fc171270f45a4f94cbdd98043610029.tar.bz2 yosys-b63cace90fc171270f45a4f94cbdd98043610029.zip | |
Added support for fsm_encoding="user"
Diffstat (limited to 'passes/fsm')
| -rw-r--r-- | passes/fsm/fsm_recode.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/passes/fsm/fsm_recode.cc b/passes/fsm/fsm_recode.cc index 5102d8334..e1bde728f 100644 --- a/passes/fsm/fsm_recode.cc +++ b/passes/fsm/fsm_recode.cc @@ -57,13 +57,13 @@ static void fsm_recode(RTLIL::Cell *cell, RTLIL::Module *module, FILE *fm_set_fs log("Recoding FSM `%s' from module `%s' using `%s' encoding:\n", cell->name.c_str(), module->name.c_str(), encoding.c_str()); - if (encoding != "none" && encoding != "one-hot" && encoding != "binary" && encoding != "auto") { + if (encoding != "none" && encoding != "user" && encoding != "one-hot" && encoding != "binary" && encoding != "auto") { log(" unknown encoding `%s': using auto instead.\n", encoding.c_str()); encoding = "auto"; } - if (encoding == "none") { - log(" nothing to do for encoding `none'.\n"); + if (encoding == "none" || encoding == "user") { + log(" nothing to do for encoding `%s'.\n", encoding.c_str()); return; } |