In reply to manjush_pv:
Synthesis tools do not care nor deal with the propagation of unknown values. In your example, both synthesize to the same logic equations.
In reply to manjush_pv:
Synthesis tools do not care nor deal with the propagation of unknown values. In your example, both synthesize to the same logic equations.