I experience a mismatch between behavior of RTL and the Ambit Synthesis Result; whereby Ambit displays the following WARNING: Originally posted in cdnusers.org by weidi1
--> WARNING: Possibly an 'X' or 'Z' value propagated to a control statement
that may cause simulation mismatches between the original and
synthesized designs (File ../RTL/com.v, Line 3957) .
What is CDFG-511?
The design is an FSM which has outputs dependent from the next_state, i.e. mealy outputs. In the synthesis result the next_state after the power on reset evaluates to 'x' although the next_state is in this case only dependent from the current state which is well defined by the reset. Ambit involves additional signals in the calculation of the next_state, which are not defined at this time. Ambit Version is v5.7-s133.