mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Do not detect fsm state registers with init attribute

Browse source
This commit is contained in:
Clifford Wolf 2015-09-21 11:52:40 +02:00
parent 11c27b5e69
commit b66bf8bed1
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/fsm/fsm_detect.cc
View file

@ -110,6 +110,8 @@ static bool check_state_users(RTLIL::SigSpec sig)
static void detect_fsm(RTLIL::Wire *wire) static void detect_fsm(RTLIL::Wire *wire)
{ {
if (wire->attributes.count("\\init") > 0)
return;
if (wire->attributes.count("\\fsm_encoding") > 0 || wire->width <= 1) if (wire->attributes.count("\\fsm_encoding") > 0 || wire->width <= 1)
return; return;
if (sig_at_port.check_any(assign_map(RTLIL::SigSpec(wire)))) if (sig_at_port.check_any(assign_map(RTLIL::SigSpec(wire))))