From a038787c9b51e92440cac3a38801c08f66dbb3af Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 4 Feb 2015 18:52:54 +0100 Subject: Added onehot attribute --- passes/fsm/fsm_map.cc | 3 +++ 1 file changed, 3 insertions(+) (limited to 'passes/fsm') 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) -- cgit v1.2.3