In reply to dave_59:
Thank you, Dave. Could you please help explaining how verilog handles ‘x’ propagation poorly.