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

Another fsm_extract bugfix

This commit is contained in:
Clifford Wolf 2014-08-08 14:55:11 +02:00
parent 7067c43ec0
commit 58ac605470
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
passes/fsm/fsm_extract.cc
View File

@ -231,6 +231,10 @@ static void extract_fsm(RTLIL::Wire *wire)
log(" fsm extraction failed: state selection tree is not closed.\n");
return;
}
if (SIZE(states) <= 1) {
log(" fsm extraction failed: at least two states are required.\n");
return;
}
// find control outputs
// (add the state signals to the list of control outputs. if everything goes right, this signals