diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-02-04 18:52:54 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-02-04 18:52:54 +0100 |
| commit | a038787c9b51e92440cac3a38801c08f66dbb3af (patch) | |
| tree | 765adc2595cba45c51d689eadd271a17bce66401 /passes/fsm | |
| parent | 8805c24640d881ae9b29552fc860cff08f9adaff (diff) | |
| download | yosys-a038787c9b51e92440cac3a38801c08f66dbb3af.tar.gz yosys-a038787c9b51e92440cac3a38801c08f66dbb3af.tar.bz2 yosys-a038787c9b51e92440cac3a38801c08f66dbb3af.zip | |
Added onehot attribute
Diffstat (limited to 'passes/fsm')
| -rw-r--r-- | passes/fsm/fsm_map.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/passes/fsm/fsm_map.cc b/passes/fsm/fsm_map.cc index a260653fb..155801a3a 100644 --- a/passes/fsm/fsm_map.cc +++ b/passes/fsm/fsm_map.cc @@ -224,6 +224,9 @@ static void map_fsm(RTLIL::Cell *fsm_cell, RTLIL::Module *module) } } + if (encoding_is_onehot) + state_wire->set_bool_attribute("\\onehot"); + // generate next_state signal if (GetSize(fsm_data.state_table) == 1) |