mirror of
https://github.com/YosysHQ/yosys
synced 2025-05-08 08:15:48 +00:00
Merge https://github.com/YosysHQ/yosys into read_aiger
This commit is contained in:
commit
03a533d102
9 changed files with 349 additions and 100 deletions
|
@ -72,7 +72,8 @@ struct FsmOpt
|
|||
|
||||
new_transition_table.swap(fsm_data.transition_table);
|
||||
new_state_table.swap(fsm_data.state_table);
|
||||
fsm_data.reset_state = old_to_new_state.at(fsm_data.reset_state);
|
||||
if (fsm_data.reset_state != -1)
|
||||
fsm_data.reset_state = old_to_new_state.at(fsm_data.reset_state);
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue